isabelle: File revisions

bin/isabelle

1997-05-15	wenzelm	fixed bash path!!!	file \| diff \| annotate
1997-05-14	wenzelm	renamed DEFAULT_LOGIC to ISABELLE_LOGIC;	file \| diff \| annotate
1997-05-14	wenzelm	removed -u option;	file \| diff \| annotate
1997-05-06	wenzelm	fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);	file \| diff \| annotate
1997-04-25	wenzelm	removed -c option;	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-03-07	wenzelm	renamed SYSTEM to RAW_ML_SYSTEM;	file \| diff \| annotate
1997-03-06	wenzelm	even more robust and user friendly invocation (no longer requieres	file \| diff \| annotate
1997-03-03	wenzelm	fixed -m order;	file \| diff \| annotate
1997-02-28	wenzelm	more robust handling of invocation errors;	file \| diff \| annotate
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

isabelle