And since we're there, I'd also like to recall this other live site:
http://metamath.tirix.org:3030/mpests/toc
All pages are rendered dynamically, there are 3 modes:
- ASCII <http://metamath.tirix.org:3030/mpeascii/areacirc>
- Unicode <http://metamath.tirix.org:3030/mpeuni/areacirc>
- MathML <http://metamath.tirix.org:3030/mpests/areacirc>
Source code here <https://github.com/tirix/metamath-web>.
_
Thierry
On 27/02/2023 15:51, David A. Wheeler wrote:
On Feb 26, 2023, at 11:04 PM, Mario Carneiro<[email protected]> wrote:
FYI I did a fairly comprehensive HTML modernization in mm-web-rs
[https://github.com/digama0/mm-web-rs/blob/master/src/render.rs] (which is basically
a clone of the metamath-exe theorem page generator), which among other things
lowercased all the tags and made it pass the w3c validator again (there is a link at
the bottom of most pages but they don't pass more modern HTML standards and still use
things like <FONT>).
Awesome!
When I spoke I was thinking more about the static HTML files in:
https://github.com/metamath/set.mm
https://github.com/metamath/metamath-website-seed
... but yes, we want to modernize those as well.
--- David A. Wheeler
--
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/e581846a-7b2f-2918-bc16-664fc4d7f890%40gmx.net.
