index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isa
/
interface-setup.el
Commit message (
Expand
)
Author
Age
*
Updated by Gerwin to remove some X-Symbol loading
David Aspinall
2003-04-12
*
tweak 'x-symbol-image-converter to avoid confusing warning;
Makarius Wenzel
2000-09-21
*
improved xsymbol config: include info dir, only init for XEmacs;
Makarius Wenzel
2000-09-19
*
more robust checking of xsymbol-home;
Makarius Wenzel
2000-09-18
*
conditional load of proof-site.el;
Makarius Wenzel
2000-08-28
*
tuned x-symbol setup;
Makarius Wenzel
2000-08-23
*
smart setup of X-Symbol mode;
Makarius Wenzel
2000-08-09
*
do not change isabelle-prog-name here;
Makarius Wenzel
2000-07-08
*
handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;
Makarius Wenzel
2000-05-30
*
Move setting of proof-shell-pre-interrupt-hook to isabelle-system.el
David Aspinall
2000-05-16
*
option -x: enable x-symbol package;
Makarius Wenzel
2000-02-11
*
setup proof-shell-pre-interrupt-hook for Poly/ML;
Makarius Wenzel
2000-02-10
*
let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;
Makarius Wenzel
1999-10-15
*
ProofGeneral interface wrapper for Isabelle/classic
Makarius Wenzel
1999-08-06