How the RTALooP web pages are produced

The source format of the problem descriptions is LaTeX, with some additional macros and environments. The following tools are used to produce these web pages:

I use Aart Middeldorp ’s address list of researchers in rewriting.

If you are interested in obtaining my makefiles and scripts then just let me know.

[Back to the RTALooP home page]
Nachum Dershowitz and Ralf Treinen