aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* 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
* added option -U: Unicode (UTF-8) communication;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
* renamed thms_containing to find_theorems;Gravatar Makarius Wenzel2005-09-01
* special regexps: include PGASCII version;Gravatar Makarius Wenzel2005-09-01
* special regexps: include PGASCII version;Gravatar Makarius Wenzel2005-09-01
* tuned ML code for manipulating print_mode;Gravatar Makarius Wenzel2005-09-01
* prefer emacs over xemacs, which rarely works out of the box;Gravatar Makarius Wenzel2005-08-30
* added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);Gravatar Makarius Wenzel2005-08-26
* proof-defshortcut isar-local: \<^loc>;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
* isatool fixheaders;Gravatar Makarius Wenzel2005-08-18
* obsolete;Gravatar Makarius Wenzel2005-08-18
* Fix isar-shell-adjust-line-width for mutliple frame mode.Gravatar David Aspinall2005-08-14
* next-error-regexp seems to have broken; fix it against current Isabelle CVS.Gravatar David Aspinall2005-08-09
* proof-defshortcut isar-bold;Gravatar Makarius Wenzel2005-08-08
* tuned;Gravatar Makarius Wenzel2005-07-19
* tuned isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2005-06-26
* more general goal pattern;Gravatar Makarius Wenzel2005-06-24
* use physical path;Gravatar Makarius Wenzel2005-05-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 13:15:43 +0000