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
*
Add fix and regression test for Trac #138
David Aspinall
2011-10-17
*
Attempt to support stricter bytecomp warnings
David Aspinall
2011-10-17
*
Require cl only during compile
David Aspinall
2011-10-17
*
Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...
David Aspinall
2011-10-13
*
brute-force method to enable tool-bar-mode, which is especially important on ...
Makarius Wenzel
2011-09-17
*
clarified isar-improper-regexp -- "prems" is already reported as legacy by th...
Makarius Wenzel
2011-08-31
*
generalized font-lock regexps: isar-text allows any non-control characters to...
Makarius Wenzel
2011-07-06
*
Replace proof-boring-face -> isabelle-quote-face, reported on
David Aspinall
2011-05-05
*
Update with files from Isabelle2011 (no actual changes).
David Aspinall
2011-01-31
*
New files.
David Aspinall
2011-01-31
*
Deleted file
David Aspinall
2011-01-31
*
proof-shell-theorem-dependency-list-regexp: change to match altered output fo...
David Aspinall
2011-01-31
*
auto-solve -> auto-solve-direct for Isabelle2011.
David Aspinall
2011-01-31
*
added option -f FONT;
Makarius Wenzel
2011-01-27
*
Add autotest start
David Aspinall
2011-01-26
*
Remove debug messages
David Aspinall
2011-01-25
*
Update dates and versions
David Aspinall
2011-01-14
*
some attempts to indent 'notepad' 'begin' ... 'end' like a proof body;
Makarius Wenzel
2010-12-08
*
isar-set-undo-commands: prevent opening new script files calling proof-deacti...
David Aspinall
2010-10-11
*
isar-user-tokens: add doc so user can see it when using customize
David Aspinall
2010-10-10
*
Update version numbers, release dates
David Aspinall
2010-10-01
*
use-linear-undo: use default of t again
David Aspinall
2010-09-08
*
Fix bug with nested spans, solving #344/#335
David Aspinall
2010-08-27
*
Replace proof-terminal-char with proof-terminal-string.
David Aspinall
2010-08-27
*
Add unnecessary quote marks for consistent colouring
David Aspinall
2010-08-25
*
isar-set-undo-commands: encourage the user not to change while processing a b...
David Aspinall
2010-08-24
*
Tidy comments
David Aspinall
2010-08-24
*
isar-strip-terminators: backward-delete-char -> delete-char to fix Emacs 24 c...
David Aspinall
2010-08-24
*
isar-describe-help-keys: remove this, available by default as C-c C-a h C-h
David Aspinall
2010-08-22
*
iasbelle-string-face: Remove italic from defaults because
David Aspinall
2010-08-19
*
Another test file
David Aspinall
2010-08-18
*
Work on Trac #335 (broken old style script management)
David Aspinall
2010-08-18
*
Clean flag settings for profiling. Add AHundredProofs.
David Aspinall
2010-08-18
*
Turn off parallel proofs setting (no noticeable difference for this test file)
David Aspinall
2010-08-18
*
Add command bound to C-c C-a h ? to show available help keys
David Aspinall
2010-08-18
*
Fix key bindings. Ref Trac#334
David Aspinall
2010-08-17
*
Clean up handling of pending interrupts, remove experimental proof-shell-inte...
David Aspinall
2010-08-17
*
Set proof-shell-interrupts-after-commit = nil
David Aspinall
2010-08-16
*
proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex...
David Aspinall
2010-08-15
*
Extend testing
David Aspinall
2010-08-11
*
isabelle-quote-face: add this face to customize vanishing quotes
David Aspinall
2010-08-11
*
Experiment with default string font being italic, to match STIX italic.
David Aspinall
2010-08-11
*
Support custom syntactic fontification.
David Aspinall
2010-08-11
*
isabelle-string-face: switch to a more traditional green
David Aspinall
2010-08-11
*
Fix compile and spelling
David Aspinall
2010-08-09
*
Use pg-dev profiling configuration
David Aspinall
2010-08-09
*
Note complete
David Aspinall
2010-08-08
*
isabelle-string-face: introduce custom string colour as font lock default is ...
David Aspinall
2010-08-04
*
Swap phi and varphi for better consistency with STIX.
David Aspinall
2010-08-04
*
isar-remove-file: remove (tail) recursion, leads to stack overflow
David Aspinall
2010-08-04
[next]