The Coq mailing list

[Pierre Letouzey <Pierre.Letouzey AT lri.fr>]

I succeeded in making my linux Mozilla browser display correctly
the symbol font used in the Coq on-line documentation.
I've updated the coq web page explaining how to do that. It's at:

        http://coq.inria.fr/doc_config-eng.html

You mainly need to run a script that can be found at

        http://hutchinson.belmont.ma.us/tth/Xfonts.html

More info can also be found on the Hevea web page:

        http://pauillac.inria.fr/~maranget/hevea/

As a test, you can now try this page:

        http://coq.inria.fr/doc/node.0.3.0.html

If you see pretty "lambda" and "forall", then it's ok.

You can also have a look at the impressive C-CoRN on-line
documentation at:

        http://vacuumcleaner.cs.kun.nl/c-corn/documentation/index.html

Enjoy!

Pierre Letouzey