| 2009-05-31 | wenzelm | removed obsolete COPYDB flag; | file | diff | annotate |
| 2008-12-20 | wenzelm | removed Ids; | file | diff | annotate |
| 2004-06-21 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| 2000-11-30 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| 2000-09-28 | wenzelm | added COPYDB argument; | file | diff | annotate |
| 2000-09-15 | wenzelm | keep export of ISABELLE_TMP (!!!); | file | diff | annotate |
| 2000-09-15 | wenzelm | unexport exports; | file | diff | annotate |
| 2000-09-01 | wenzelm | fixed quoting; | file | diff | annotate |
| 2000-09-01 | wenzelm | GPLed; | file | diff | annotate |
| 2000-07-05 | wenzelm | run Moscow ML 2.00 --- does not handle saved images (yet!?); | file | diff | annotate |