| 2009-05-31 | wenzelm | uniform treatment of shellscript mode; | file | diff | annotate |
| 2008-06-03 | wenzelm | use polyml-5.2; | file | diff | annotate |
| 2008-03-24 | wenzelm | replaced obsolete /usr/proj by /home; | file | diff | annotate |
| 2008-03-06 | wenzelm | removed obsolete THIS_IS_ISABELLE_BUILD feature; | file | diff | annotate |
| 2007-12-05 | kleing | switch at-poly main to poly 5.1 | file | diff | annotate |
| 2007-03-05 | kleing | additional settings for isatest runs on various platforms | file | diff | annotate |