aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-syntax.el
Commit message (Expand)AuthorAge
...
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* isar-undo-fail-regexp: only isar-keywords-control, not isar-keywords-theory-end;Gravatar Makarius Wenzel2007-10-18
* isar-output-font-lock-keywords-1: hilite markup uses proof-warning-face;Gravatar Makarius Wenzel2007-09-07
* isar-improper-regexp: include "prems";Gravatar Makarius Wenzel2007-06-14
* isar-font-lock-local: tuned symbol regexp;Gravatar Makarius Wenzel2007-06-14
* undo: removed confusing comment;Gravatar Makarius Wenzel2007-05-08
* Comment about undo; useGravatar David Aspinall2007-01-10
* isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in p...Gravatar Makarius Wenzel2006-12-07
* isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which usua...Gravatar Makarius Wenzel2006-11-04
* isar-keywords-indent-enclose: include "begin" keyword;Gravatar Makarius Wenzel2006-10-11
* added regexps for begin/end and theory start;Gravatar Makarius Wenzel2006-10-11
* isar-goals-font-lock-keywords: added abbreviations;Gravatar Makarius Wenzel2006-08-16
* isar-goals-font-lock-keywords: "abbreviations";Gravatar Makarius Wenzel2006-02-10
* old specials are recogized again;Gravatar Makarius Wenzel2005-09-28
* removed 8bit special chars for isar;Gravatar Makarius Wenzel2005-09-14
* tuned isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2005-09-13
* tuned isar-keywords-theory-enclose;Gravatar Makarius Wenzel2005-09-06
* special regexps: include PGASCII version;Gravatar Makarius Wenzel2005-09-01
* added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);Gravatar Makarius Wenzel2005-08-26
* made ASCII backquote (`) alternative string delimiter;Gravatar Makarius Wenzel2005-08-26
* isar-goals-font-lock-keywords: calculation;Gravatar Makarius Wenzel2005-08-18
* tuned isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2005-06-26
* more general goal pattern;Gravatar Makarius Wenzel2005-06-24
* tuned;Gravatar Makarius Wenzel2005-05-31
* Change syntax table for \ from word constituent to escape character.Gravatar David Aspinall2004-08-10
* Fix index number back for isar-undo-remove-regexp, change isar-remove instead.Gravatar David Aspinall2004-06-17
* Fix grouping for isar-generic-expression.Gravatar David Aspinall2004-06-17
* Continue the grouping bug fix.Gravatar David Aspinall2004-06-16
* Fix another bug introduced by Gerwin's shy grouping "optimisations"...Gravatar David Aspinall2004-06-16
* fix typo in isar-long-id-stuffGravatar Gerwin Klein2004-04-16
* fix typo in isar-long-id-stuffGravatar Gerwin Klein2004-04-16
* Set imenu-syntax-alist. Seems to solve prefix/underscore issue in SpeedbarGravatar David Aspinall2004-04-15
* Typo in imenu setup (not sure how that got committed)Gravatar David Aspinall2004-04-14
* Func-menu: fix bug in locale regexp. Add imenu support.Gravatar David Aspinall2004-04-14
* Fixes for function menu. Remove unnamed entities.Gravatar David Aspinall2004-04-14
* fixed regexp problem with function menuGravatar Gerwin Klein2004-04-14
* Update email and web addressesGravatar David Aspinall2004-02-08
* allow sub/super scripts in identifiers (\<^isub> and \<^isup>)Gravatar Gerwin Klein2003-10-16
* Yet another fix from Sebastian Skalberg.Gravatar Stefan Berghofer2003-09-05
* Corrected fix from Sebastian Skalberg.Gravatar Stefan Berghofer2003-08-29
* Fix from Sebastian Skalberg <skalberg@in.tum.de>Gravatar David Aspinall2003-08-28
* Fix SML comment syntax oopsGravatar David Aspinall2003-08-20
* Use newer undo function ProofGeneral.undo (no output undo).Gravatar David Aspinall2003-08-19
* Fix from Gerwin to repair groupingGravatar David Aspinall2003-05-23
* Version from Gerwin with performance fixesGravatar David Aspinall2003-05-20
* Version without match save, and disabling isar-match-antiq.Gravatar David Aspinall2003-05-20
* Disable fontification of antiquotation because of buggy interaction with font...Gravatar David Aspinall2003-04-25
* Save match data in font-locking function for antiquotations (patch from CW).Gravatar David Aspinall2003-04-15
* Revert to old isar-ids-to-regexpGravatar David Aspinall2003-02-17
* Source of parsing problem discovered and explained.Gravatar David Aspinall2002-09-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 23:41:39 +0000