aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* 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
* Fix error regexps for matching additional comma printed in position [NB: for ...Gravatar David Aspinall2004-06-16
* Last change: added also isar-display-draft isar-print-draft forGravatar David Aspinall2004-06-16
* Fix for name matching changes grouping in isar-undo-remove-regexp.Gravatar David Aspinall2004-06-16
* 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
* Add functions for displaying/printing draft.Gravatar David Aspinall2004-06-13
* Set comment-quote-nested (for Emacs/XEmacs 21.5)Gravatar David Aspinall2004-05-09
* Patch from Brother MakariusGravatar David Aspinall2004-05-06
* Updated.Gravatar David Aspinall2004-04-17
* Add shortcuts for new X-Symbol sequences.Gravatar David Aspinall2004-04-17
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...Gravatar David Aspinall2004-04-17
* imenu todoGravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-16
* New files.Gravatar David Aspinall2004-04-16
* fix typo in isar-long-id-stuffGravatar Gerwin Klein2004-04-16
* fix typo in isar-long-id-stuffGravatar Gerwin Klein2004-04-16
* Updated.Gravatar David Aspinall2004-04-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 17:57:36 +0000