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
...
*
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
*
removed bold, no longer supported by x-symbol
Gerwin Klein
2003-12-23
*
Remove proof-shell-interactive-input-regexp again!
David Aspinall
2003-10-05
*
Set proof-shell-interactive-input-regexp
David Aspinall
2003-10-05
*
Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...
David Aspinall
2003-06-08
*
Set proof-shell-identifier-under-mouse-cmd
David Aspinall
2003-06-08
*
Make find-and-forget robust for proverproc regions
David Aspinall
2003-06-05
*
Remove isa-mode from automode alist, to allow SML mode in preference
David Aspinall
2003-04-15
*
Move x-sym config to x-symbol-isar.el
David Aspinall
2003-02-22
*
Documentation.
David Aspinall
2003-02-18
*
Documentation.
David Aspinall
2003-02-16
*
Add backwards compatibility for old pre-PGIP settings mechanism
David Aspinall
2003-02-16
*
- Moved "show me" menu one level up in the menu hierarchy
Stefan Berghofer
2003-02-03
*
Docstring
David Aspinall
2002-11-28
*
Updated.
David Aspinall
2002-11-21
[prev]
[next]