aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-syntax.el
Commit message (Expand)AuthorAge
* Clean whitespaceGravatar David Aspinall2009-09-05
* Remove proof-no-commandGravatar David Aspinall2009-09-04
* output-font-lock-keywords: remove unnecessary bracketsGravatar David Aspinall2009-09-03
* Fix font-lock output keywords for tvars starting ?'Gravatar David Aspinall2009-09-03
* First attempt at command wrapping (see http://proofgeneral.inf.ed.ac.uk/trac/...Gravatar David Aspinall2009-08-18
* isar-syntactic-context: tweak (still not perfect, loses between "--" and stri...Gravatar David Aspinall2009-08-17
* isar-syntactic-context: fix calls to re-search-backwardGravatar David Aspinall2009-08-17
* isar-syntactic-context: modify proof-looking-at-syntactic-context to allowGravatar David Aspinall2009-08-17
* isar-output-font-lock-keywords-1: enable display of ? and ' againGravatar David Aspinall2009-08-14
* Do not hide the spurious ASCII characters as it confuses old hands.Gravatar David Aspinall2009-08-14
* Remove yank-handler experiment, in favour of buffer-substring-filtersGravatar David Aspinall2009-05-26
* isar-strip-output-markup: simple output markup strippingGravatar David Aspinall2009-05-26
* Hide goals marker start again (Isabelle2009 doesn't markup subgoals)Gravatar David Aspinall2009-05-26
* Add highlighting for sendbackGravatar David Aspinall2009-05-26
* isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ...Gravatar Makarius Wenzel2009-03-31
* Linear undo commandGravatar David Aspinall2008-12-05
* Fix by Stephan HoheGravatar David Aspinall2008-09-18
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* removed obsolete comment;Gravatar Makarius Wenzel2008-07-10
* defface: using proof-face-specs makes faces appear on non-X11 window systems ...Gravatar Makarius Wenzel2008-07-07
* isar-undos: fix bug trac #189 introduced by attempt to remove proof-no-command.Gravatar David Aspinall2008-01-29
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 06:19:21 +0000