| 2005-10-08 | wenzelm | support ML_SUFFIX; | 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-01 | wenzelm | GPLed; | file | diff | annotate |
| 1997-04-22 | wenzelm | removed -norc; | file | diff | annotate |
| 1997-04-17 | wenzelm | eliminated PLATFORM; | file | diff | annotate |
| 1997-04-11 | wenzelm | fixed { ... } shell syntax to accomodate bash 2.x; | file | diff | annotate |
| 1997-02-06 | wenzelm | removed getplatform; | file | diff | annotate |
| 1996-12-09 | wenzelm | findlogics: collect heap names from ISABELLE_PATH; | file | diff | annotate |