lib/scripts/isa-xterm
2000-03-28 wenzelm -I option;
1999-09-03 wenzelm usage: tell current OPTIONS value;
1999-08-17 wenzelm PASS(_MODE): works better without space (why?);
1999-08-16 wenzelm -m option;
1999-03-10 wenzelm -x option;
1999-02-11 wenzelm -m isabelle_font;
1998-11-25 wenzelm eliminated ISABELLE_INTERFACE_OPTIONS;
1997-04-22 wenzelm removed -norc;
1997-03-11 wenzelm tuned comments;
1997-03-07 wenzelm renamed font;
1997-03-07 wenzelm tuned;
1997-03-03 wenzelm removed bash debug;
1997-03-03 wenzelm removed -r option;
1997-02-28 wenzelm now uses -m symbols;
1997-02-14 wenzelm improved interface options;
1997-01-07 wenzelm minor tuning;
1996-12-17 wenzelm now refers to absolute paths of binaries;
1996-12-09 wenzelm added -norc option;
1996-12-04 wenzelm changed font menu;
1996-12-04 wenzelm *** empty log message ***
1996-12-02 wenzelm isa-xterm: Isabelle within an xterm.
less more (0) tip