aboutsummaryrefslogtreecommitdiff
path: root/isar/isabelle-system.el
AgeCommit message (Expand)Author
2009-07-29ISABELLE_TOOL refers to "isabelle" tool wrapper;Makarius Wenzel
2009-05-26Revert "logic" fix.David Aspinall
2009-05-26More isatool->isabelle renamings and an (old) logic fixDavid Aspinall
2009-05-26Rename isatool -> isabelleDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-16Remove use of :help for menu tooltips- GNU Emacs only.David Aspinall
2008-07-10Add hook for hack-local-variables-hook to give warning about chosen logic cha...David Aspinall
2008-07-10Start to rationalise setting for proof-prog-name.David Aspinall
2008-01-28Prevent prompt during compilationDavid Aspinall
2008-01-25Fix previous change.David Aspinall
2008-01-25Make isatool usage (view doc) compatible with proof-rsh-command.David Aspinall
2008-01-25Make isatool usage compatible with proof-rsh-command.David Aspinall
2008-01-16Updated.David Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-14Move x-symbol-isabelle -> x-symbol-isar to simplify setup.David Aspinall
2007-12-09Comment unused functionDavid Aspinall
2007-10-24removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;Makarius Wenzel
2006-12-07proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...Makarius Wenzel
2006-12-05Use Isar-specific isabelle-system fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 11:50:54 +0000