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/CAFXXJStpvP5oC7QvwxroZbEdZHEfcSzAB4e2EVf7Coo-S0XZgw%40mail.gmail.com.
