Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Tweak. | 2005-09-21 | |
| | |||
* | Add command menu | 2005-09-21 | |
| | |||
* | back to xemacs as default; | 2005-09-21 | |
| | |||
* | update examples for Isabelle2005; | 2005-09-17 | |
| | |||
* | proof-shell-wakeup-char ?\^A | 2005-09-17 | |
| | |||
* | removed 8bit special chars for isar; | 2005-09-14 | |
| | | | | | removed unused Pbp setup; removed 'isabelle-convert-idmarkup-to-subterm, which expects 8bit specials; | ||
* | removed 8bit special chars for isar; | 2005-09-14 | |
| | |||
* | added option -U: Unicode (UTF-8) communication; | 2005-09-14 | |
| | |||
* | tuned isar-goals-font-lock-keywords; | 2005-09-13 | |
| | |||
* | tuned isar-keywords-theory-enclose; | 2005-09-06 | |
| | |||
* | renamed thms_containing to find_theorems; | 2005-09-01 | |
| | |||
* | special regexps: include PGASCII version; | 2005-09-01 | |
| | | | | pg-after-fontify-output-hook: always do pg-remove-specials; | ||
* | special regexps: include PGASCII version; | 2005-09-01 | |
| | |||
* | tuned ML code for manipulating print_mode; | 2005-09-01 | |
| | |||
* | prefer emacs over xemacs, which rarely works out of the box; | 2005-08-30 | |
| | |||
* | added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face); | 2005-08-26 | |
| | |||
* | proof-defshortcut isar-local: \<^loc>; | 2005-08-26 | |
| | |||
* | made ASCII backquote (`) alternative string delimiter; | 2005-08-26 | |
| | |||
* | isar-goals-font-lock-keywords: calculation; | 2005-08-18 | |
| | |||
* | isatool fixheaders; | 2005-08-18 | |
| | |||
* | obsolete; | 2005-08-18 | |
| | |||
* | Fix isar-shell-adjust-line-width for mutliple frame mode. | 2005-08-14 | |
| | |||
* | next-error-regexp seems to have broken; fix it against current Isabelle CVS. | 2005-08-09 | |
| | |||
* | proof-defshortcut isar-bold; | 2005-08-08 | |
| | |||
* | tuned; | 2005-07-19 | |
| | |||
* | tuned isar-goals-font-lock-keywords; | 2005-06-26 | |
| | |||
* | more general goal pattern; | 2005-06-24 | |
| | |||
* | use physical path; | 2005-05-31 | |
| | |||
* | tuned; | 2005-05-31 | |
| | |||
* | removed find_rwrites, print_intros; | 2005-05-22 | |
| | |||
* | added -L option; | 2005-05-17 | |
| | | | | tuned; | ||
* | Remove junk | 2005-03-25 | |
| | |||
* | Use another symbol | 2005-03-23 | |
| | |||
* | Changes from Clemens Ballarin for large X-Symbol fonts | 2005-02-15 | |
| | |||
* | Added simple testing framework (in progress) | 2005-02-13 | |
| | |||
* | Remove print draft from menu | 2004-10-07 | |
| | |||
* | Tune | 2004-08-25 | |
| | |||
* | Tune | 2004-08-25 | |
| | |||
* | Change syntax table for \ from word constituent to escape character. | 2004-08-10 | |
| | | | | | Add output-font-lock-keywords for tvars and vars without ?'s (probably redundant without low-level output mode change: pending). | ||
* | Fix display_drafts -> print_drafts | 2004-07-23 | |
| | |||
* | Fix index number back for isar-undo-remove-regexp, change isar-remove instead. | 2004-06-17 | |
| | |||
* | Fix grouping for isar-generic-expression. | 2004-06-17 | |
| | |||
* | Fix error regexps for matching additional comma printed in position [NB: for ↵ | 2004-06-16 | |
| | | | | PGIP patched position.ML]. | ||
* | Last change: added also isar-display-draft isar-print-draft for | 2004-06-16 | |
| | | | | repository versions of Isabelle. | ||
* | Fix for name matching changes grouping in isar-undo-remove-regexp. | 2004-06-16 | |
| | |||
* | Continue the grouping bug fix. | 2004-06-16 | |
| | |||
* | Fix another bug introduced by Gerwin's shy grouping "optimisations"... | 2004-06-16 | |
| | |||
* | Add functions for displaying/printing draft. | 2004-06-13 | |
| | |||
* | Set comment-quote-nested (for Emacs/XEmacs 21.5) | 2004-05-09 | |
| | |||
* | Patch from Brother Makarius | 2004-05-06 | |
| |