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-syntax.el
Commit message (
Expand
)
Author
Age
*
Use `cl-lib` instead of `cl` everywhere
Stefan Monnier
2018-12-13
*
Fix colours for dark backgrounds
David Aspinall
2015-03-05
*
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
*
some attempts to indent 'notepad' 'begin' ... 'end' like a proof body;
Makarius Wenzel
2010-12-08
*
iasbelle-string-face: Remove italic from defaults because
David Aspinall
2010-08-19
*
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
*
isabelle-string-face: introduce custom string colour as font lock default is ...
David Aspinall
2010-08-04
*
Fix for matching names in regexps, restores behaviour of name-aware code such...
David Aspinall
2010-08-02
*
isar-ids-to-regexp: regexp-opt with 'words arg (non-shy matching inside
David Aspinall
2009-12-01
*
define isar-pr as load-time constant;
Makarius Wenzel
2009-11-24
*
Use ProofGeneral.pr if available. See Trac #292.
David Aspinall
2009-11-23
*
tvar font-lock: allow more than one ? (as in inference parameter ??'a);
Makarius Wenzel
2009-11-21
*
named entity needed for goal-with-hole
David Aspinall
2009-10-14
*
Remove fume settings
David Aspinall
2009-10-14
*
Start using new parser, adjusting isar-any-command-regexp.
David Aspinall
2009-10-03
*
Documentation.
David Aspinall
2009-09-29
*
Add pr to print state in case of linear_undo. See Trac #292.
David Aspinall
2009-09-26
*
isar-outline-heading-alist: fix list format
David Aspinall
2009-09-14
*
isar-outline-heading-alist: fix list format
David Aspinall
2009-09-14
*
isar-outline-heading-alist: fix structure
David Aspinall
2009-09-14
*
Improve support for outline mode: additional headings and sublevel support
David Aspinall
2009-09-14
*
Support linear_undo. Add minimal font-lock for readability in *isabelle*.
David Aspinall
2009-09-09
*
Clean whitespace
David Aspinall
2009-09-05
*
Remove proof-no-command
David Aspinall
2009-09-04
*
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
*
First attempt at command wrapping (see http://proofgeneral.inf.ed.ac.uk/trac/...
David Aspinall
2009-08-18
*
isar-syntactic-context: tweak (still not perfect, loses between "--" and stri...
David Aspinall
2009-08-17
*
isar-syntactic-context: fix calls to re-search-backward
David Aspinall
2009-08-17
*
isar-syntactic-context: modify proof-looking-at-syntactic-context to allow
David Aspinall
2009-08-17
*
isar-output-font-lock-keywords-1: enable display of ? and ' again
David Aspinall
2009-08-14
*
Do not hide the spurious ASCII characters as it confuses old hands.
David Aspinall
2009-08-14
*
Remove yank-handler experiment, in favour of buffer-substring-filters
David Aspinall
2009-05-26
*
isar-strip-output-markup: simple output markup stripping
David Aspinall
2009-05-26
*
Hide goals marker start again (Isabelle2009 doesn't markup subgoals)
David Aspinall
2009-05-26
*
Add highlighting for sendback
David Aspinall
2009-05-26
*
isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ...
Makarius Wenzel
2009-03-31
*
Linear undo command
David Aspinall
2008-12-05
*
Fix by Stephan Hohe
David Aspinall
2008-09-18
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
removed obsolete comment;
Makarius Wenzel
2008-07-10
*
defface: using proof-face-specs makes faces appear on non-X11 window systems ...
Makarius Wenzel
2008-07-07
*
isar-undos: fix bug trac #189 introduced by attempt to remove proof-no-command.
David Aspinall
2008-01-29
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
[next]