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
/
isar.el
Commit message (
Expand
)
Author
Age
*
Add bug ref
David Aspinall
2009-09-05
*
Add option to do command wrapping
David Aspinall
2009-09-04
*
Remove proof-shell-prompt-pattern, no longer used.
David Aspinall
2009-09-04
*
Remove proof-no-command
David Aspinall
2009-09-04
*
Doc fixes
David Aspinall
2009-08-31
*
Prevent reporting column number back to Isabelle process
David Aspinall
2009-08-31
*
Quick fix to isar-remove-file, see trac #274
David Aspinall
2009-08-31
*
isar-positions-of: skip whitespace before command start
David Aspinall
2009-08-29
*
isar-nonwrap-regexp: ML should work (note that there are *many* ML commands);
Makarius Wenzel
2009-08-28
*
Fix compile warnings
David Aspinall
2009-08-28
*
Comments
David Aspinall
2009-08-28
*
Add menu entry for setting proof assistant command
David Aspinall
2009-08-25
*
Enhance command markup to pass position information. Extend defaults for res...
David Aspinall
2009-08-19
*
Hints about setting position in command
David Aspinall
2009-08-18
*
First attempt at command wrapping (see http://proofgeneral.inf.ed.ac.uk/trac/...
David Aspinall
2009-08-18
*
Tidy
David Aspinall
2009-08-17
*
Set proof-query-identifier-command in right place.
David Aspinall
2009-08-14
*
Rename proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command
David Aspinall
2009-08-07
*
Add configuration setting for Find Theorems form
David Aspinall
2009-08-06
*
Set strip-output-function for pasting. Adjust font-lock handling to
David Aspinall
2009-05-26
*
Add proof-electric-terminator-noterminator behaviour for Isar
David Aspinall
2009-05-26
*
Rename isatool -> isabelle
David Aspinall
2009-05-26
*
eliminated obsolete non-ASCII specials;
Makarius Wenzel
2009-03-31
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Use proof-guess-command-line to adjust command line when starting Isabelle.
David Aspinall
2008-07-10
*
Start to rationalise setting for proof-prog-name.
David Aspinall
2008-07-10
*
Remove isar-activate-scripting, which was identical to default
David Aspinall
2008-02-17
*
Set proof-shell-eager-annotation-start-length=2. This should have been
David Aspinall
2008-02-17
*
Add mode documentation
David Aspinall
2008-02-04
*
Set proof-shell-trace-output-regexp early enough to have effect. Fixes trac ...
David Aspinall
2008-01-29
*
Add key binding for ML {* *} and fix longsuper, longsub
David Aspinall
2008-01-24
*
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
*
Typo in pg-special-char-regexp
David Aspinall
2007-12-14
*
Make value of pg-special-char-regexp depend on proof-shell-unicode.
David Aspinall
2007-12-14
*
proof-shell-issue-pgip-cmd is always isabelle-process-pgip;
Makarius Wenzel
2007-10-24
*
isar-find-and-forget: no special treatment of begin/end, just plain undo
Makarius Wenzel
2007-10-18
*
allow more specials: oct 327 .. oct 340;
Makarius Wenzel
2007-09-07
*
pg-topterm-regexp: use special 376. isar-goalhyplit-test: Delete closing mark...
David Aspinall
2007-08-19
*
removed outated comment;
Makarius Wenzel
2007-08-15
*
isar-goalhyplit-test: explicit end-marker;
Makarius Wenzel
2007-08-15
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
*
reverted find theorems default from form to minibuffer
weber
2007-06-11
*
Rename [proof]find-theorems -> isar-find-theorems
David Aspinall
2007-05-11
*
Add experimental find theorems form (not working on all Emacs yet)
David Aspinall
2007-05-10
*
tuned cannot-undo;
Makarius Wenzel
2007-05-08
*
added isar-cmd-sledgehammer;
Makarius Wenzel
2007-05-08
*
tuned pg-special-char-regexp;
Makarius Wenzel
2007-05-08
*
Patch for XEmacs 21.5 beta match-replace bug
David Aspinall
2007-03-03
*
Use Isar-specific isabelle-system file
David Aspinall
2006-12-05
[next]