Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Add more user preferences, fix existing ones. | 2005-09-30 | ||
| | ||||
* | Issue proof-assistant-settings-cmd standardly after init cmd. | 2005-09-30 | ||
| | ||||
* | Rename PGIP packet attribute origin -> tag | 2005-09-30 | ||
| | ||||
* | old specials are recogized again; | 2005-09-28 | ||
| | ||||
* | negotiate PGASCII only for proof-shell-unicode; | 2005-09-28 | ||
| | ||||
* | Make robust against missing advice package | 2005-09-28 | ||
| | ||||
* | Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer ↵ | 2005-09-27 | ||
| | | | | tabs hack. | |||
* | Shorter aux buffer names | 2005-09-27 | ||
| | ||||
* | updated from pre-Isabelle2005; | 2005-09-22 | ||
| | ||||
* | Set version tag for new release. | 2005-09-22 | ||
| | ||||
* | Updated. | 2005-09-22 | ||
| | ||||
* | Updated. | 2005-09-22 | ||
| | ||||
* | Addition from Tjark Weber for new commands | 2005-09-22 | ||
| | ||||
* | Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac" | 2005-09-21 | ||
| | ||||
* | Updated. | 2005-09-21 | ||
| | ||||
* | New files. | 2005-09-21 | ||
| | ||||
* | Select EMACS based on xemacs if available, otherwise emacs | 2005-09-21 | ||
| | ||||
* | Set version tag for new release. | 2005-09-21 | ||
| | ||||
* | Fix PGHOMEDEFAULT | 2005-09-21 | ||
| | ||||
* | Tweak. | 2005-09-21 | ||
| | ||||
* | Add command menu | 2005-09-21 | ||
| | ||||
* | back to xemacs as default; | 2005-09-21 | ||
| | ||||
* | I do not remember \! | 2005-09-19 | ||
| | ||||
* | better terminate ML code; | 2005-09-18 | ||
| | ||||
* | removed (again) -- may use isar/interface -I false instead; | 2005-09-17 | ||
| | ||||
* | update examples for Isabelle2005; | 2005-09-17 | ||
| | ||||
* | proof-shell-wakeup-char ?\^A | 2005-09-17 | ||
| | ||||
* | removed obsolete ML code; | 2005-09-16 | ||
| | ||||
* | added note for large x-symbols; | 2005-09-15 | ||
| | | | | added proof-shell-unicode; | |||
* | Set version tag for new release. | 2005-09-15 | ||
| | ||||
* | tuned comment; | 2005-09-14 | ||
| | ||||
* | oops -- proper customize-set-variable; | 2005-09-14 | ||
| | ||||
* | 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 -m PGASCII for Isabelle/Isar process; | 2005-09-14 | ||
| | ||||
* | observe PROOFGENERAL_UNICODE as passed by interface script; | 2005-09-14 | ||
| | ||||
* | added option -U: Unicode (UTF-8) communication; | 2005-09-14 | ||
| | ||||
* | refer to proof-shell-unicode for process-environment and coding-system; | 2005-09-14 | ||
| | ||||
* | added proof-shell-unicode; | 2005-09-14 | ||
| | ||||
* | tuned isar-goals-font-lock-keywords; | 2005-09-13 | ||
| | ||||
* | tuned isar-keywords-theory-enclose; | 2005-09-06 | ||
| | ||||
* | do not include leading space in parameter to isatool doc, i.e. | 2005-09-02 | ||
| | | | | | | isatool doc "x" instead of isatool doc " x" | |||
* | example output; | 2005-09-01 | ||
| | ||||
* | added lemma; | 2005-09-01 | ||
| | ||||
* | example theory involving unicode characters (utf-8 encoding); | 2005-09-01 | ||
| | ||||
* | 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 | ||
| | ||||
* | tuned ML code for manipulating print_mode; | 2005-09-01 | ||
| | | | | isabelle-convert-idmarkup-to-subterm: proof-re-search-forward, tuned regexp; |