Really nice. Thierry, you have shown the recently added feature
option+shift+rightArrow selection in the source file. Does it also work in proof files? (I really wish mmj2 had this feature) Thanks again for your nice video. Glauco -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/a66698fc-8301-4ecf-9c98-d3005e52de27n%40googlegroups.com.
