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
*
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
*
isar-strip-terminators, isar-detect-begin: proof-search-forward;
Makarius Wenzel
2006-11-04
*
reintroduced pg-subterm-first-special-char, which makes PG strip goal markup;
Makarius Wenzel
2006-10-11
*
removed obsolete isar-detect-header;
Makarius Wenzel
2006-10-11
*
Changed the type of proof-goal-command-p. It takes now a span, which
Pierre Courtieu
2006-04-26
*
isar-preprocessing: replace \n by \<^newline>;
Makarius Wenzel
2006-02-12
*
old specials are recogized again;
Makarius Wenzel
2005-09-28
*
Tweak.
David Aspinall
2005-09-21
*
Add command menu
David Aspinall
2005-09-21
*
proof-shell-wakeup-char ?\^A
Makarius Wenzel
2005-09-17
*
removed 8bit special chars for isar;
Makarius Wenzel
2005-09-14
*
renamed thms_containing to find_theorems;
Makarius Wenzel
2005-09-01
*
special regexps: include PGASCII version;
Makarius Wenzel
2005-09-01
*
proof-defshortcut isar-local: \<^loc>;
Makarius Wenzel
2005-08-26
*
Fix isar-shell-adjust-line-width for mutliple frame mode.
David Aspinall
2005-08-14
*
next-error-regexp seems to have broken; fix it against current Isabelle CVS.
David Aspinall
2005-08-09
*
proof-defshortcut isar-bold;
Makarius Wenzel
2005-08-08
*
removed find_rwrites, print_intros;
Makarius Wenzel
2005-05-22
*
Changes from Clemens Ballarin for large X-Symbol fonts
David Aspinall
2005-02-15
*
Remove print draft from menu
David Aspinall
2004-10-07
*
Fix display_drafts -> print_drafts
David Aspinall
2004-07-23
*
Fix index number back for isar-undo-remove-regexp, change isar-remove instead.
David Aspinall
2004-06-17
*
Fix error regexps for matching additional comma printed in position [NB: for ...
David Aspinall
2004-06-16
*
Last change: added also isar-display-draft isar-print-draft for
David Aspinall
2004-06-16
*
Fix for name matching changes grouping in isar-undo-remove-regexp.
David Aspinall
2004-06-16
*
Add functions for displaying/printing draft.
David Aspinall
2004-06-13
*
Set comment-quote-nested (for Emacs/XEmacs 21.5)
David Aspinall
2004-05-09
*
Patch from Brother Makarius
David Aspinall
2004-05-06
*
Add shortcuts for new X-Symbol sequences.
David Aspinall
2004-04-17
*
Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...
David Aspinall
2004-04-17
*
Set imenu-syntax-alist. Seems to solve prefix/underscore issue in Speedbar
David Aspinall
2004-04-15
*
Add imenu support.
David Aspinall
2004-04-14
*
Fix to proof-goal-with-hole-result to agree with isar-syntax.el
David Aspinall
2004-04-14
*
fixed regexp problem with function menu
Gerwin Klein
2004-04-14
*
Set proof-goal-with-hole-result to account for use of shy grouping in goal-wi...
David Aspinall
2004-04-13
*
Update email and web addresses
David Aspinall
2004-02-08
[next]