index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isar
/
isabelle-system.el
Commit message (
Expand
)
Author
Age
*
Revert "logic" fix.
David Aspinall
2009-05-26
*
More isatool->isabelle renamings and an (old) logic fix
David Aspinall
2009-05-26
*
Rename isatool -> isabelle
David Aspinall
2009-05-26
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Remove use of :help for menu tooltips- GNU Emacs only.
David Aspinall
2008-07-16
*
Add hook for hack-local-variables-hook to give warning about chosen logic cha...
David Aspinall
2008-07-10
*
Start to rationalise setting for proof-prog-name.
David Aspinall
2008-07-10
*
Prevent prompt during compilation
David Aspinall
2008-01-28
*
Fix previous change.
David Aspinall
2008-01-25
*
Make isatool usage (view doc) compatible with proof-rsh-command.
David Aspinall
2008-01-25
*
Make isatool usage compatible with proof-rsh-command.
David Aspinall
2008-01-25
*
Updated.
David Aspinall
2008-01-16
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Move x-symbol-isabelle -> x-symbol-isar to simplify setup.
David Aspinall
2007-12-14
*
Comment unused function
David Aspinall
2007-12-09
*
removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;
Makarius Wenzel
2007-10-24
*
proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...
Makarius Wenzel
2006-12-07
*
Use Isar-specific isabelle-system file
David Aspinall
2006-12-05