aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isabelle-system.el
Commit message (Expand)AuthorAge
* Remove use of :help for menu tooltips- GNU Emacs only.Gravatar David Aspinall2008-07-16
* Add hook for hack-local-variables-hook to give warning about chosen logic cha...Gravatar David Aspinall2008-07-10
* Start to rationalise setting for proof-prog-name.Gravatar David Aspinall2008-07-10
* Prevent prompt during compilationGravatar David Aspinall2008-01-28
* Fix previous change.Gravatar David Aspinall2008-01-25
* Make isatool usage (view doc) compatible with proof-rsh-command.Gravatar David Aspinall2008-01-25
* Make isatool usage compatible with proof-rsh-command.Gravatar David Aspinall2008-01-25
* Updated.Gravatar David Aspinall2008-01-16
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Move x-symbol-isabelle -> x-symbol-isar to simplify setup.Gravatar David Aspinall2007-12-14
* Comment unused functionGravatar David Aspinall2007-12-09
* removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;Gravatar Makarius Wenzel2007-10-24
* proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...Gravatar Makarius Wenzel2006-12-07
* Use Isar-specific isabelle-system fileGravatar David Aspinall2006-12-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 07:36:00 +0000