aboutsummaryrefslogtreecommitdiff
path: root/isa/interface-setup.el
AgeCommit message (Expand)Author
2006-12-05Deleted fileDavid Aspinall
2005-09-14oops -- proper customize-set-variable;Makarius Wenzel
2005-09-14observe PROOFGENERAL_UNICODE as passed by interface script;Makarius Wenzel
2003-04-12Updated by Gerwin to remove some X-Symbol loadingDavid Aspinall
2000-09-21tweak 'x-symbol-image-converter to avoid confusing warning;Makarius Wenzel
2000-09-19improved xsymbol config: include info dir, only init for XEmacs;Makarius Wenzel
2000-09-18more robust checking of xsymbol-home;Makarius Wenzel
2000-08-28conditional load of proof-site.el;Makarius Wenzel
2000-08-23tuned x-symbol setup;Makarius Wenzel
2000-08-09smart setup of X-Symbol mode;Makarius Wenzel
2000-07-08do not change isabelle-prog-name here;Makarius Wenzel
2000-05-30handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;Makarius Wenzel
2000-05-16Move setting of proof-shell-pre-interrupt-hook to isabelle-system.elDavid Aspinall
2000-02-11option -x: enable x-symbol package;Makarius Wenzel
2000-02-10setup proof-shell-pre-interrupt-hook for Poly/ML;Makarius Wenzel
1999-10-15let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;Makarius Wenzel
1999-08-06ProofGeneral interface wrapper for Isabelle/classicMakarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 20:17:17 +0000