On 1/11/22 1:22 PM, Benoit wrote:
It'll be easier when the website is updated (I guess the page you're talking about was locally generated on your computer, since I can't access http://us2.metamath.org/ileuni/bezout.html ?).
Yeah, I ran SHOW STATEMENT bezout/ALT_HTML from within metamath.exe which created the file bezout.html.
I think maybe sometime in the distant past I downloaded some files (fonts or whatever it was) which were needed (either to generate this file, or display it nicely in the browser), but hopefully it is relatively clear where to find those on metamath.org because I don't really remember what I did (and I only had to do that part once).
-- 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/7769b488-581b-e77d-af2b-07185f0633b9%40panix.com.
