The editor is very nice for theorems on the shorter side (though misses rewrapping, as prev-theorem references are sorted in wrong order)! Would love to see it developed further.
Using it with my proof-in-progress longer than 360 lines, though, is rougher. Even text selection lags somehow (to the point it is faster to delete individual characters instead of selecting a line and deleting it at once). вторник, 28 октября 2025 г. в 20:41:41 UTC+3, [email protected]: > On Monday, October 27, 2025 at 6:39:18 PM UTC+1 [email protected] wrote: > > Of course! The whole website is served out of github repos, so you just > need to PR to those. The majority of the static part of the website is > located at https://github.com/metamath/metamath-website-seed/ ; you > probably want to modify > https://github.com/metamath/metamath-website-seed/blob/main/index.html or > https://github.com/metamath/metamath-website-seed/blob/main/other.html > (corresponding to https://us.metamath.org/index.html and > https://us.metamath.org/other.html respectively) depending on how much we > want to push users to use it. If you send a PR we can discuss it there; > link to it from here so others can follow along. > > > I have created a pull request here: > https://github.com/metamath/metamath-website-seed/pull/33 > > Best regards, > Marlo Bruder > -- 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 visit https://groups.google.com/d/msgid/metamath/debd68c9-4d75-4bc2-a8a2-75268fdc0842n%40googlegroups.com.
