index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
isar
/
interface-setup.el
Age
Commit message (
Collapse
)
Author
2011-09-17
brute-force method to enable tool-bar-mode, which is especially important on ↵
Makarius Wenzel
GNU Emacs for Mac OS X (change was already present in Isabelle2011);
2009-11-21
more robust THIS/SUPER: allow spaces;
Makarius Wenzel
modernized usage, eliminated obsolete options -I, -P, -X, -f; re-interpreted option -x as "unicode symbols";
2008-07-24
Merge changes from Version4Branch.
David Aspinall
2006-12-07
back again for isar;
Makarius Wenzel
2000-05-17
re-use isa/interface-setup.el rather than separate isar version;
Makarius Wenzel
2000-05-16
Move setting of proof-shell-pre-interrupt-hook to isabelle-system.el
David Aspinall
2000-02-11
option -x: enable x-symbol package;
Makarius Wenzel
2000-02-10
setup proof-shell-pre-interrupt-hook for Poly/ML;
Makarius Wenzel
1999-10-15
let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;
Makarius Wenzel
1999-07-24
please ignore (back to 1.1);
Makarius Wenzel
1999-07-24
*** empty log message ***
Makarius Wenzel
1999-04-16
initial version of 'isar proof assistant (Isabelle/Isar);
Makarius Wenzel
