bin/isabelle
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-25 wenzelm 1997-04-25 removed -c option;
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-04-17 wenzelm 1997-04-17 eliminated PLATFORM;
1997-04-11 wenzelm 1997-04-11 fixed { ... } shell syntax to accomodate bash 2.x;
1997-03-07 wenzelm 1997-03-07 renamed SYSTEM to RAW_ML_SYSTEM;
1997-03-06 wenzelm 1997-03-06 even more robust and user friendly invocation (no longer requieres absolute path names);
1997-03-03 wenzelm 1997-03-03 fixed -m order;
1997-02-28 wenzelm 1997-02-28 more robust handling of invocation errors; added -m MODE option;
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.