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
*
additional menu entries;
Makarius Wenzel
2009-11-26
*
menu items for atp_info, atp_kill;
Makarius Wenzel
2009-10-21
*
disable indent-tabs-mode for theory mode;
Makarius Wenzel
2009-10-17
*
Remove function-menu setting
David Aspinall
2009-10-14
*
Start using new parser, adjusting isar-any-command-regexp.
David Aspinall
2009-10-03
*
Functions find-and-forget and count-undos now return lists of commands
David Aspinall
2009-09-28
*
display_drafts, print_drafts: query to save buffer
David Aspinall
2009-09-27
*
Fix compile errors
David Aspinall
2009-09-15
*
Add outline-heading-alist setting. Fix compilation.
David Aspinall
2009-09-14
*
Rename mode names
David Aspinall
2009-09-14
*
Typo in var name: fixes toggling of use-linear-undo.
David Aspinall
2009-09-10
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Support linear_undo. Add minimal font-lock for readability in *isabelle*.
David Aspinall
2009-09-09
*
Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L...
David Aspinall
2009-09-08
*
Fix proof-shell-trace-output-regexp: match on annotation \^AI now too
David Aspinall
2009-09-07
*
Revert change in 10.26 to use defpacustom after all, this gives
David Aspinall
2009-09-07
*
Fix initialisation of isar-use-find-theorems-form in compiled file.
David Aspinall
2009-09-07
*
Fix compiler warnings
David Aspinall
2009-09-07
*
isar-use-find-theorems-form: use defcustom, not defpacustom
David Aspinall
2009-09-07
*
isar-preprocessing: remove unnecessary save-match-data.
David Aspinall
2009-09-07
*
Configuration changes for shell mode revision.
David Aspinall
2009-09-06
*
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
[next]