2000-09-26 | wenzelm | tuned; | file | diff | annotate |
2000-09-11 | wenzelm | added THIS; | file | diff | annotate |
2000-09-03 | wenzelm | GPLed; | file | diff | annotate |
1998-12-17 | wenzelm | bash -c :; | file | diff | annotate |
1997-04-22 | wenzelm | removed -norc; | file | diff | annotate |
1997-03-07 | wenzelm | moved settings comment to build; | file | diff | annotate |
1997-02-17 | wenzelm | manual steps comment; | file | diff | annotate |
1997-02-17 | wenzelm | configure - adapt Isabelle distribution to system environment | file | diff | annotate |