aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/interface-setup.el
Commit message (Expand)AuthorAge
* Updated by Gerwin to remove some X-Symbol loadingGravatar David Aspinall2003-04-12
* tweak 'x-symbol-image-converter to avoid confusing warning;Gravatar Makarius Wenzel2000-09-21
* improved xsymbol config: include info dir, only init for XEmacs;Gravatar Makarius Wenzel2000-09-19
* more robust checking of xsymbol-home;Gravatar Makarius Wenzel2000-09-18
* conditional load of proof-site.el;Gravatar Makarius Wenzel2000-08-28
* tuned x-symbol setup;Gravatar Makarius Wenzel2000-08-23
* smart setup of X-Symbol mode;Gravatar Makarius Wenzel2000-08-09
* do not change isabelle-prog-name here;Gravatar Makarius Wenzel2000-07-08
* handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;Gravatar Makarius Wenzel2000-05-30
* Move setting of proof-shell-pre-interrupt-hook to isabelle-system.elGravatar David Aspinall2000-05-16
* option -x: enable x-symbol package;Gravatar Makarius Wenzel2000-02-11
* setup proof-shell-pre-interrupt-hook for Poly/ML;Gravatar Makarius Wenzel2000-02-10
* let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;Gravatar Makarius Wenzel1999-10-15
* ProofGeneral interface wrapper for Isabelle/classicGravatar Makarius Wenzel1999-08-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 02:19:07 +0000