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
*
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
*
Separate profiling from testing
David Aspinall
2010-08-03
*
Fix compile
David Aspinall
2010-08-03
*
Fix compilation
David Aspinall
2010-08-03
*
Resurrect autotest framework
David Aspinall
2010-08-03
*
less surprising unicode tokens: <-> corresponds to longleftrightarrow in comm...
Makarius Wenzel
2010-08-03
*
Move distribution examples into subdir
David Aspinall
2010-08-03
*
Fix theory name
David Aspinall
2010-08-03
*
Deleted file
David Aspinall
2010-08-03
*
Fix for matching names in regexps, restores behaviour of name-aware code such...
David Aspinall
2010-08-02
*
isar-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid
David Aspinall
2010-07-01
*
removed some old commands;
Makarius Wenzel
2010-06-29
*
update from Isabelle2009-2;
Makarius Wenzel
2010-06-29
*
more robust treatment of spaces in directory names;
Makarius Wenzel
2009-12-07
*
Revert spurious commits
David Aspinall
2009-12-03
*
Change of type for proof-script-span-context-menu-extensions
David Aspinall
2009-12-03
*
Fix compile error (isar-prog-args unknown).
David Aspinall
2009-12-02
*
Add rest of standard token symbols for alphabets in other fonts
David Aspinall
2009-12-01
*
isar-control-char-format-regexp: correct to only affect next char/symbol
David Aspinall
2009-12-01
*
isabelle-set-prog-name: avoid calling split-string with nil arg.
David Aspinall
2009-12-01
*
isar-ids-to-regexp: regexp-opt with 'words arg (non-shy matching inside
David Aspinall
2009-12-01
*
typo
David Aspinall
2009-12-01
*
isar-control-char-format-regexp: prevent subsequent control chars being captured
David Aspinall
2009-12-01
*
isabelle-set-prog-name: more robust treatment of spaces in arguments;
Makarius Wenzel
2009-11-28
*
additional menu entries;
Makarius Wenzel
2009-11-26
*
define isar-pr as load-time constant;
Makarius Wenzel
2009-11-24
[next]