aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* 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
* tuned;Gravatar Makarius Wenzel2005-05-31
* removed find_rwrites, print_intros;Gravatar Makarius Wenzel2005-05-22
* added -L option;Gravatar Makarius Wenzel2005-05-17
* Remove junkGravatar David Aspinall2005-03-25
* Use another symbolGravatar David Aspinall2005-03-23
* Changes from Clemens Ballarin for large X-Symbol fontsGravatar David Aspinall2005-02-15
* Added simple testing framework (in progress)Gravatar David Aspinall2005-02-13
* Remove print draft from menuGravatar David Aspinall2004-10-07
* TuneGravatar David Aspinall2004-08-25
* TuneGravatar David Aspinall2004-08-25
* Change syntax table for \ from word constituent to escape character.Gravatar David Aspinall2004-08-10
* Fix display_drafts -> print_draftsGravatar David Aspinall2004-07-23
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 11:45:33 +0000