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
*
removed 8bit special chars for isar;
Makarius Wenzel
2005-09-14
*
tuned isar-goals-font-lock-keywords;
Makarius Wenzel
2005-09-13
*
tuned isar-keywords-theory-enclose;
Makarius Wenzel
2005-09-06
*
special regexps: include PGASCII version;
Makarius Wenzel
2005-09-01
*
added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);
Makarius Wenzel
2005-08-26
*
made ASCII backquote (`) alternative string delimiter;
Makarius Wenzel
2005-08-26
*
isar-goals-font-lock-keywords: calculation;
Makarius Wenzel
2005-08-18
*
tuned isar-goals-font-lock-keywords;
Makarius Wenzel
2005-06-26
*
more general goal pattern;
Makarius Wenzel
2005-06-24
*
tuned;
Makarius Wenzel
2005-05-31
*
Change syntax table for \ from word constituent to escape character.
David Aspinall
2004-08-10
*
Fix index number back for isar-undo-remove-regexp, change isar-remove instead.
David Aspinall
2004-06-17
*
Fix grouping for isar-generic-expression.
David Aspinall
2004-06-17
*
Continue the grouping bug fix.
David Aspinall
2004-06-16
*
Fix another bug introduced by Gerwin's shy grouping "optimisations"...
David Aspinall
2004-06-16
*
fix typo in isar-long-id-stuff
Gerwin Klein
2004-04-16
*
fix typo in isar-long-id-stuff
Gerwin Klein
2004-04-16
*
Set imenu-syntax-alist. Seems to solve prefix/underscore issue in Speedbar
David Aspinall
2004-04-15
*
Typo in imenu setup (not sure how that got committed)
David Aspinall
2004-04-14
*
Func-menu: fix bug in locale regexp. Add imenu support.
David Aspinall
2004-04-14
*
Fixes for function menu. Remove unnamed entities.
David Aspinall
2004-04-14
*
fixed regexp problem with function menu
Gerwin Klein
2004-04-14
*
Update email and web addresses
David Aspinall
2004-02-08
*
allow sub/super scripts in identifiers (\<^isub> and \<^isup>)
Gerwin Klein
2003-10-16
*
Yet another fix from Sebastian Skalberg.
Stefan Berghofer
2003-09-05
*
Corrected fix from Sebastian Skalberg.
Stefan Berghofer
2003-08-29
*
Fix from Sebastian Skalberg <skalberg@in.tum.de>
David Aspinall
2003-08-28
*
Fix SML comment syntax oops
David Aspinall
2003-08-20
*
Use newer undo function ProofGeneral.undo (no output undo).
David Aspinall
2003-08-19
*
Fix from Gerwin to repair grouping
David Aspinall
2003-05-23
*
Version from Gerwin with performance fixes
David Aspinall
2003-05-20
*
Version without match save, and disabling isar-match-antiq.
David Aspinall
2003-05-20
*
Disable fontification of antiquotation because of buggy interaction with font...
David Aspinall
2003-04-25
*
Save match data in font-locking function for antiquotations (patch from CW).
David Aspinall
2003-04-15
*
Revert to old isar-ids-to-regexp
David Aspinall
2003-02-17
*
Source of parsing problem discovered and explained.
David Aspinall
2002-09-11
*
Remove FIXME: have added definition of font-lock-preprocessor-face
David Aspinall
2002-07-02
*
Adjust syntax tables.
David Aspinall
2002-07-01
*
GPL update
David Aspinall
2002-06-21
*
added isar-undo-ignore-regexp;
Makarius Wenzel
2002-02-12
*
updated isar-goals-font-lock-keywords;
Makarius Wenzel
2001-11-07
*
isar-goals-font-lock-keywords: more general goal pattern;
Makarius Wenzel
2001-10-13
*
isar-goals-font-lock-keywords: corollary;
Makarius Wenzel
2001-09-10
*
proof-string-match;
Makarius Wenzel
2001-01-12
*
proper font-lock of isar-keywords-proof-heading;
Makarius Wenzel
2001-01-10
*
improved isar-string regexp;
Makarius Wenzel
2000-12-28
*
tuned font lock;
Makarius Wenzel
2000-12-23
*
tuned font-lock-keywords;
Makarius Wenzel
2000-12-06
*
tuned isar-goals-font-lock-keywords;
Makarius Wenzel
2000-10-31
*
tuned font-lock-keywords;
Makarius Wenzel
2000-10-30
[next]