lib/scripts/isa-emacs
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-04-17 wenzelm 1997-04-17 eliminated PLATFORM;
1997-04-14 wenzelm 1997-04-14 no longer includes ~/.emacs;
1997-04-12 wenzelm 1997-04-12 misc improvement;
1997-02-07 wenzelm 1997-02-07 removed ISABELLE_INTERFACE_OPTIONS;
1997-01-07 wenzelm 1997-01-07 minor tuning;
1996-12-13 wenzelm 1996-12-13 now also loads etc/isa-settings.el;
1996-12-09 wenzelm 1996-12-09 added -norc option; error output to stderr;
1996-12-04 wenzelm 1996-12-04 *** empty log message ***
1996-12-03 wenzelm 1996-12-03 Emacs / Isamode interface.