bin/isabelle
1997-02-06 wenzelm 1997-02-06 removed getplatform;
1996-12-16 wenzelm 1996-12-16 now fails if getsettings not found;
1996-12-09 wenzelm 1996-12-09 added -norc option; error output to stderr; removed -o option; changed -u ML text;
1996-12-04 wenzelm 1996-12-04 improved 'not found' messages;
1996-12-02 wenzelm 1996-12-02 isabelle: Basic Isabelle startup script.