aboutsummaryrefslogtreecommitdiff
path: root/isar/interface
AgeCommit message (Expand)Author
2011-01-27added option -f FONT;Makarius Wenzel
2009-11-21more robust THIS/SUPER: allow spaces;Makarius Wenzel
2009-09-02Isabelle2008 compatibility;Makarius Wenzel
2009-08-22less ambitious array operations -- for improved compatibility with older vers...Makarius Wenzel
2009-07-29ISABELLE_TOOL refers to "isabelle" tool wrapper;Makarius Wenzel
2009-05-30more robust treatment of options and arguments (via arrays and special @ expa...Makarius Wenzel
2008-02-06accomodate Carbon Emacs: keep window system enabled, even if no DISPLAY;Makarius Wenzel
2008-01-25fixed usage: default for option -p is emacs, not xemacs;Makarius Wenzel
2008-01-15Default to using emacs nowDavid Aspinall
2007-11-20clarify that -U now defaults to true;Makarius Wenzel
2006-12-07removed obsolete references to 'isa';Makarius Wenzel
2005-09-21back to xemacs as default;Makarius Wenzel
2005-09-14added option -U: Unicode (UTF-8) communication;Makarius Wenzel
2005-08-30prefer emacs over xemacs, which rarely works out of the box;Makarius Wenzel
2005-07-19tuned;Makarius Wenzel
2005-05-31use physical path;Makarius Wenzel
2005-05-17added -L option;Makarius Wenzel
2005-02-15Changes from Clemens Ballarin for large X-Symbol fontsDavid Aspinall
2004-04-15Prevent setting WM title so Emacs can do its own thingDavid Aspinall
2002-02-12option -g GEOMETRY;Makarius Wenzel
2001-12-12incorporate smart X11 font installation (used to be in isatool installfonts);Makarius Wenzel
2001-11-13option -k for logic specific isar-keywords file;Makarius Wenzel
2001-09-06tuned usage;Makarius Wenzel
2001-09-04added option -P: actually start Proof General (default true);Makarius Wenzel
2001-08-31handle relative heap paths gracefully;Makarius Wenzel
2001-08-30include ISABELLE_HOME_USER/etc/isar-keywords.el orMakarius Wenzel
2000-12-01added -m option;Makarius Wenzel
2000-11-22disable trace option;Makarius Wenzel
2000-11-21converted from sh back to bash;Makarius Wenzel
2000-09-21use plain /bin/sh instead of bash;Makarius Wenzel
2000-09-20added -X option;Makarius Wenzel
2000-09-19installfonts only when using X window system;Makarius Wenzel
2000-09-19isa: DEFAULT_FILES="Scratch.thy Scratch.ML";Makarius Wenzel
2000-09-17-I option for Isar vs. classic Isabelle mode;Makarius Wenzel
2000-09-15isatool installfonts (for remote X-Symbol fonts);Makarius Wenzel
2000-09-02more quoting;Makarius Wenzel
2000-08-28-w false implies -x false;Makarius Wenzel
2000-05-17re-use isa/interface-setup.el rather than separate isar version;Makarius Wenzel
2000-02-11option -x: enable x-symbol package;Makarius Wenzel
1999-10-15let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;Makarius Wenzel
1999-09-03usage: tell PROOFGENERAL_OPTIONS;Makarius Wenzel
1999-08-18replaced 'ProofGeneral' by 'Proof General';Makarius Wenzel
1999-05-23tuned usage;Makarius Wenzel
1999-04-16initial version of 'isar proof assistant (Isabelle/Isar);Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:32:00 +0000