It requires some changes to the mmrecent.html CSS, so for now a copy is hosted at https://github.com/digama0/mm-web-rs/blob/master/mmrecent.raw.html . The pages generated by mm-web-rs are significantly different under the hood, making use of modern HTML5, although it's still dressed up in the web 1.0 clothing of the original website. Once we've confirmed that the site isn't missing anything critical, I want to update the site design a bit (and possibly finally ditch the GIF pages!). I'm working on this in my spare time between my other projects though, so progress will probably be slow. Feel free to run https://github.com/digama0/mm-web-rs locally before the beta version goes live.
On Thu, Feb 8, 2024 at 1:59 AM Mario Carneiro <[email protected]> wrote: > 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/CAFXXJStBNgO5u1Bx%2BFP%3DWX9Hms9kJ8CyKCy7NWjHcXvXSEeLpw%40mail.gmail.com.
