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