1997-02-06 | wenzelm | removed getplatform; | file | diff | annotate |
1996-12-16 | wenzelm | now fails if getsettings not found; | file | diff | annotate |
1996-12-09 | wenzelm | added -norc option; | file | diff | annotate |
1996-12-04 | wenzelm | improved 'not found' messages; | file | diff | annotate |
1996-12-02 | wenzelm | isabelle: Basic Isabelle startup script. | file | diff | annotate |