| Thu, 14 Mar 2013 16:49:36 +0100 | wenzelm | document ISABELLE_POLYML; | file | diff | annotate |
| Sat, 26 Jan 2013 16:10:50 +0100 | wenzelm | updated explanations of document preparation; | file | diff | annotate |
| Sun, 25 Nov 2012 15:17:01 +0100 | wenzelm | eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; | file | diff | annotate |