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
Commit message (
Expand
)
Author
Age
*
Updated.
David Aspinall
2008-01-16
*
Updated.
David Aspinall
2008-01-16
*
Default to using emacs now
David Aspinall
2008-01-15
*
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
*
Deleted file
David Aspinall
2007-12-14
*
Typo in pg-special-char-regexp
David Aspinall
2007-12-14
*
x-symbol-isabelle-prepare-table: specialise to Isar (usefully removes depende...
David Aspinall
2007-12-14
*
Remove eval-when, seems unreliable
David Aspinall
2007-12-14
*
Improve loading; these tests are not functioning yet
David Aspinall
2007-12-14
*
Make value of pg-special-char-regexp depend on proof-shell-unicode.
David Aspinall
2007-12-14
*
Cleanup. Add more insertion commands.
David Aspinall
2007-12-13
*
Deleted file
David Aspinall
2007-12-13
*
Comment unused function
David Aspinall
2007-12-09
*
clarify that -U now defaults to true;
Makarius Wenzel
2007-11-20
*
command 'thm' makes no sense outside a proper context;
Makarius Wenzel
2007-11-13
*
Versions
David Aspinall
2007-11-12
*
proof-shell-issue-pgip-cmd is always isabelle-process-pgip;
Makarius Wenzel
2007-10-24
*
removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;
Makarius Wenzel
2007-10-24
*
isar-find-and-forget: no special treatment of begin/end, just plain undo
Makarius Wenzel
2007-10-18
*
isar-undo-fail-regexp: only isar-keywords-control, not isar-keywords-theory-end;
Makarius Wenzel
2007-10-18
*
allow more specials: oct 327 .. oct 340;
Makarius Wenzel
2007-09-07
*
isar-output-font-lock-keywords-1: hilite markup uses proof-warning-face;
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
*
isar-improper-regexp: include "prems";
Makarius Wenzel
2007-06-14
*
single-char-regexp: tuned symbol regexp;
Makarius Wenzel
2007-06-14
*
isar-font-lock-local: tuned symbol regexp;
Makarius Wenzel
2007-06-14
*
reverted find theorems default from form to minibuffer
weber
2007-06-11
*
XEmacs 21.4.15 does not seem to know propertize
weber
2007-05-17
*
Fix rename
weber
2007-05-11
*
Fix rename
weber
2007-05-11
*
works with XEmacs now (ticket #115)
weber
2007-05-11
*
Fix rename
David Aspinall
2007-05-11
*
Rename [proof]find-theorems -> isar-find-theorems
David Aspinall
2007-05-11
*
Renamed file
David Aspinall
2007-05-11
*
Add experimental find theorems form (not working on all Emacs yet)
David Aspinall
2007-05-10
*
New files.
David Aspinall
2007-05-10
*
x-symbol-isabelle-font-lock-regexp: demand subsequent non-space character;
Makarius Wenzel
2007-05-08
*
undo: removed confusing comment;
Makarius Wenzel
2007-05-08
*
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
*
Fix comment
David Aspinall
2007-02-28
*
Comment about undo; use
David Aspinall
2007-01-10
*
tuned;
Makarius Wenzel
2006-12-30
*
back again for isar;
Makarius Wenzel
2006-12-07
[next]