Hi Jon, There is no automatic generation (yet) for the structured version, I run it manually (and too seldom). I will launch another one today, it takes long (days) to generate everything. (but luckily, Mathematics is not at risk of disappearing in a few days) BR, _ Thierry
> Le 4 juin 2019 à 17:17, Jon P <[email protected]> a écrit : > > One very small question I think is appropriate for this thread as the area > triangle stuff is moved. > > The theorems in my Mathbox have been moved to us.metamath.org which is nice. > However there is no "structured version" for them at the moment (the button > in the top right you can click to see more usual notation). Does this just > take time or is there anything I can do to activate it? I'd like to show what > I am doing to my old supervisor and they will get on much better with the > structured versions I think. > -- > 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/05af0812-c377-47e1-a756-b2684e43b217%40googlegroups.com. -- 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/05AB124F-7800-4548-9566-8EEE6541987A%40gmx.net.
