aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* isar-improper-regexp: include "prems";Gravatar Makarius Wenzel2007-06-14
* single-char-regexp: tuned symbol regexp;Gravatar Makarius Wenzel2007-06-14
* isar-font-lock-local: tuned symbol regexp;Gravatar Makarius Wenzel2007-06-14
* reverted find theorems default from form to minibufferGravatar weber2007-06-11
* XEmacs 21.4.15 does not seem to know propertizeGravatar weber2007-05-17
* Fix renameGravatar weber2007-05-11
* Fix renameGravatar weber2007-05-11
* works with XEmacs now (ticket #115)Gravatar weber2007-05-11
* Fix renameGravatar David Aspinall2007-05-11
* Rename [proof]find-theorems -> isar-find-theoremsGravatar David Aspinall2007-05-11
* Renamed fileGravatar David Aspinall2007-05-11
* Add experimental find theorems form (not working on all Emacs yet)Gravatar David Aspinall2007-05-10
* New files.Gravatar David Aspinall2007-05-10
* x-symbol-isabelle-font-lock-regexp: demand subsequent non-space character;Gravatar Makarius Wenzel2007-05-08
* undo: removed confusing comment;Gravatar Makarius Wenzel2007-05-08
* tuned cannot-undo;Gravatar Makarius Wenzel2007-05-08
* added isar-cmd-sledgehammer;Gravatar Makarius Wenzel2007-05-08
* tuned pg-special-char-regexp;Gravatar Makarius Wenzel2007-05-08
* Patch for XEmacs 21.5 beta match-replace bugGravatar David Aspinall2007-03-03
* Fix commentGravatar David Aspinall2007-02-28
* Comment about undo; useGravatar David Aspinall2007-01-10
* tuned;Gravatar Makarius Wenzel2006-12-30
* back again for isar;Gravatar Makarius Wenzel2006-12-07
* isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in p...Gravatar Makarius Wenzel2006-12-07
* removed obsolete references to 'isa';Gravatar Makarius Wenzel2006-12-07
* proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...Gravatar Makarius Wenzel2006-12-07
* X-Symbol config. Moved from isa/Gravatar David Aspinall2006-12-05
* Use Isar-specific isabelle-system fileGravatar David Aspinall2006-12-05
* isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which usua...Gravatar Makarius Wenzel2006-11-04
* isar-strip-terminators, isar-detect-begin: proof-search-forward;Gravatar Makarius Wenzel2006-11-04
* reintroduced pg-subterm-first-special-char, which makes PG strip goal markup;Gravatar Makarius Wenzel2006-10-11
* 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
* removed obsolete isar-detect-header;Gravatar Makarius Wenzel2006-10-11
* isar-goals-font-lock-keywords: added abbreviations;Gravatar Makarius Wenzel2006-08-16
* Changed the type of proof-goal-command-p. It takes now a span, whichGravatar Pierre Courtieu2006-04-26
* isar-preprocessing: replace \n by \<^newline>;Gravatar Makarius Wenzel2006-02-12
* isar-goals-font-lock-keywords: "abbreviations";Gravatar Makarius Wenzel2006-02-10
* old specials are recogized again;Gravatar Makarius Wenzel2005-09-28
* updated from pre-Isabelle2005;Gravatar Makarius Wenzel2005-09-22
* Updated.Gravatar David Aspinall2005-09-21
* New files.Gravatar David Aspinall2005-09-21
* Tweak.Gravatar David Aspinall2005-09-21
* Add command menuGravatar David Aspinall2005-09-21
* back to xemacs as default;Gravatar Makarius Wenzel2005-09-21
* update examples for Isabelle2005;Gravatar Makarius Wenzel2005-09-17
* proof-shell-wakeup-char ?\^AGravatar Makarius Wenzel2005-09-17
* removed 8bit special chars for isar;Gravatar Makarius Wenzel2005-09-14
* removed 8bit special chars for isar;Gravatar Makarius Wenzel2005-09-14