On 04/01/2020 20:58, Mario Carneiro wrote:
I still don't really understand what the GMFF option in mmj2 does (or what GMFF stands for), but I recall it doing something similar to this; it would render your current worksheet in a web browser with the gif images and you could write and they would live-update.
Yes, according to MMJ2: https://github.com/digama0/mmj2/blob/master/CHGLOG.TXT#L360 ------------------------------------------------------------ 3. New! GMFF (Graphics Mode Formula Formatting) Enhancement. ------------------------------------------------------------ What is great about this feature is that it helps users see right away what the Metamath ASCII formulas look like when rendered in html (or Latex, etc.) Simply press Ctrl-1 (One) on the Proof Assistant GUI screen to generate export file(s) via GMFF -- use Alt-Tab to switch back and forth between the Proof Assistant GUI and your browser window. -- 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/20a2b922-c91d-9256-fbfa-32b3834a0ebc%40gmx.net.
