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
*
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
*
Require unicode-tokens during compile.
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
*
Isabelle->isabelle binary. Remove Isar homepage.
David Aspinall
2009-09-07
*
isar-preprocessing: remove unnecessary save-match-data.
David Aspinall
2009-09-07
*
Remove \t in \<inverse> expansion.
David Aspinall
2009-09-07
*
Remove \t in \<module> expansion.
David Aspinall
2009-09-07
*
Remove unused subterm markup code
David Aspinall
2009-09-06
*
Configuration changes for shell mode revision.
David Aspinall
2009-09-06
*
Fix defcustom types
David Aspinall
2009-09-05
*
Separate standard tokens from extended set. Add missing compositions. Set ...
David Aspinall
2009-09-05
*
More sensible message for file dialog
David Aspinall
2009-09-05
*
Updated from Isabelle2009
David Aspinall
2009-09-05
*
Add shortcuts for (| and |).
David Aspinall
2009-09-05
*
Clean whitespace
David Aspinall
2009-09-05
*
Add bug ref
David Aspinall
2009-09-05
*
Add custom group
David Aspinall
2009-09-05
*
Fix require
David Aspinall
2009-09-04
*
Add option to do command wrapping
David Aspinall
2009-09-04
*
Remove proof-shell-prompt-pattern, no longer used.
David Aspinall
2009-09-04
*
Add text_raw
David Aspinall
2009-09-04
*
Remove proof-no-command
David Aspinall
2009-09-04
*
Remove objectionable |> shortcut for Isar hackers
David Aspinall
2009-09-03
*
output-font-lock-keywords: remove unnecessary brackets
David Aspinall
2009-09-03
*
Fix font-lock output keywords for tvars starting ?'
David Aspinall
2009-09-03
*
Isabelle2008 compatibility;
Makarius Wenzel
2009-09-02
*
proper backslash escape;
Makarius Wenzel
2009-09-02
*
Doc fixes
David Aspinall
2009-08-31
*
Prevent reporting column number back to Isabelle process
David Aspinall
2009-08-31
*
Merge in Isar and Coq bugs
David Aspinall
2009-08-31
*
Quick fix to isar-remove-file, see trac #274
David Aspinall
2009-08-31
*
Add custom doc
David Aspinall
2009-08-31
*
isar-symbol-shortcuts: add customization
David Aspinall
2009-08-31
*
Remove over-enthusiastic single-character shortcuts
David Aspinall
2009-08-31
*
Disable large symbol font for now
David Aspinall
2009-08-31
*
Support dynamic customization. Add additional shortcuts handy for symbolizing...
David Aspinall
2009-08-30
*
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
*
Move fontsymb properties to library file.
David Aspinall
2009-08-28
*
Doc: pointer to TokensAcid
David Aspinall
2009-08-28
*
Comments
David Aspinall
2009-08-28
*
Add menu entry for setting proof assistant command
David Aspinall
2009-08-25
*
less ambitious array operations -- for improved compatibility with older vers...
Makarius Wenzel
2009-08-22
*
Remove spurious junk.
David Aspinall
2009-08-20
[next]