lib/scripts/isa-xterm
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-03-11 wenzelm 1997-03-11 tuned comments; added -h option;
1997-03-07 wenzelm 1997-03-07 renamed font;
1997-03-07 wenzelm 1997-03-07 tuned;
1997-03-03 wenzelm 1997-03-03 removed bash debug;
1997-03-03 wenzelm 1997-03-03 removed -r option; added -p option;
1997-02-28 wenzelm 1997-02-28 now uses -m symbols;
1997-02-14 wenzelm 1997-02-14 improved interface options;
1997-01-07 wenzelm 1997-01-07 minor tuning;
1996-12-17 wenzelm 1996-12-17 now refers to absolute paths of binaries;
1996-12-09 wenzelm 1996-12-09 added -norc option; error output to stderr;
1996-12-04 wenzelm 1996-12-04 changed font menu;
1996-12-04 wenzelm 1996-12-04 *** empty log message ***
1996-12-02 wenzelm 1996-12-02 isa-xterm: Isabelle within an xterm.