mm-web-rs now supports generation of the auxiliary pages: mmtheorems.html, mmrecent.html, mmtheoremsall.html, mmdefinitions.html, and mmascii.html, which was the last remaining piece to completely replace metamath-exe web site generation functionality. The next step is to add it to the website build (under an experimental subfolder) so that regular users can play with it and find differences with the original.
On Sun, Jan 30, 2022 at 2:43 AM Mario Carneiro <[email protected]> wrote: > Hi All, > > I just wanted to share some metamath-knife progress: The > https://github.com/digama0/mm-web-rs experimental metamath web site clone > is now able to draw complete theorem pages, including the step list, > forward references and axioms used, comment markup, dummy variable and > allowed substitution hints, basically everything visible on the page, all > powered by the metamath-knife API. Furthermore, as a result of the switch > to a rust backend it is now quite simple to add a web server, so now you > can run "mm-web-rs server" and it will serve pages like > http://localhost:8080/mpeuni/pnt.html as you would expect from a static > server. > > Mario > -- 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/CAFXXJSv6cu8L3b3ggy2DzpPAokhDrC5c9WtMVnZQL_e3V%2Bhm6A%40mail.gmail.com.
