Metamath website page updates continue
33 views
Skip to first unread message
David A. Wheeler
Jun 17, 2023, 12:35:43 PM6/17/23
to Metamath Mailing List
I have yet another proposed change to the Metamath website.
This focuses on updating the FAQ on the Metamath home page,
with a few tweaks elsewhere. E.g.:
* I moved links to much-less maintained material to the "other.html" page,
e.g., Metamath Music.
* The home page no longer tells people to email Norm.
* A new FAQ entry is a brief memorial to Norm.
The proposed change is here (click on "files changed"):
https://github.com/metamath/metamath-website-seed/pull/9
As always, comments/suggestions/reviews are very welcome!
I stopped at the "Downloads" section, which needs a cleanup,
but that work is for a future day.
--- David A. Wheeler
This focuses on updating the FAQ on the Metamath home page,
with a few tweaks elsewhere. E.g.:
* I moved links to much-less maintained material to the "other.html" page,
e.g., Metamath Music.
* The home page no longer tells people to email Norm.
* A new FAQ entry is a brief memorial to Norm.
The proposed change is here (click on "files changed"):
https://github.com/metamath/metamath-website-seed/pull/9
As always, comments/suggestions/reviews are very welcome!
I stopped at the "Downloads" section, which needs a cleanup,
but that work is for a future day.
--- David A. Wheeler
Reply all
Reply to author
Forward
0 new messages