Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | New files. | David Aspinall | 2006-12-05 |
| | |||
* | Deleted file | David Aspinall | 2006-12-05 |
| | |||
* | Changed the type of proof-goal-command-p. It takes now a span, which | Pierre Courtieu | 2006-04-26 |
| | | | | | | allows using a span attribute to detect goal commands. I think I modified all modes accordingly. | ||
* | support nested blocks of super/sub-script, but only the outermost level | Makarius Wenzel | 2006-02-13 |
| | | | | is actually displayed as such -- by Clemens Ballarin; | ||
* | added \<setminus>; | Makarius Wenzel | 2006-01-05 |
| | |||
* | Remove proof-assistant-settings-cmd, now issued as standard. | David Aspinall | 2005-09-30 |
| | |||
* | old specials are recogized again; | Makarius Wenzel | 2005-09-28 |
| | |||
* | negotiate PGASCII only for proof-shell-unicode; | Makarius Wenzel | 2005-09-28 |
| | |||
* | Updated. | David Aspinall | 2005-09-22 |
| | |||
* | Updated. | David Aspinall | 2005-09-22 |
| | |||
* | better terminate ML code; | Makarius Wenzel | 2005-09-18 |
| | |||
* | removed (again) -- may use isar/interface -I false instead; | Makarius Wenzel | 2005-09-17 |
| | |||
* | removed obsolete ML code; | Makarius Wenzel | 2005-09-16 |
| | |||
* | oops -- proper customize-set-variable; | Makarius Wenzel | 2005-09-14 |
| | |||
* | removed 8bit special chars for isar; | Makarius Wenzel | 2005-09-14 |
| | |||
* | added -m PGASCII for Isabelle/Isar process; | Makarius Wenzel | 2005-09-14 |
| | |||
* | observe PROOFGENERAL_UNICODE as passed by interface script; | Makarius Wenzel | 2005-09-14 |
| | |||
* | added option -U: Unicode (UTF-8) communication; | Makarius Wenzel | 2005-09-14 |
| | |||
* | do not include leading space in parameter to isatool doc, i.e. | Gerwin Klein | 2005-09-02 |
| | | | | | | isatool doc "x" instead of isatool doc " x" | ||
* | special regexps: include PGASCII version; | Makarius Wenzel | 2005-09-01 |
| | |||
* | tuned ML code for manipulating print_mode; | Makarius Wenzel | 2005-09-01 |
| | |||
* | tuned ML code for manipulating print_mode; | Makarius Wenzel | 2005-09-01 |
| | | | | isabelle-convert-idmarkup-to-subterm: proof-re-search-forward, tuned regexp; | ||
* | prefer emacs over xemacs, which rarely works out of the box; | Makarius Wenzel | 2005-08-30 |
| | |||
* | tuned; | Makarius Wenzel | 2005-07-19 |
| | |||
* | use physical path; | Makarius Wenzel | 2005-05-31 |
| | |||
* | added -L option; | Makarius Wenzel | 2005-05-17 |
| | | | | tuned; | ||
* | undeleted; | Makarius Wenzel | 2005-05-10 |
| | |||
* | Deleted file | David Aspinall | 2005-03-23 |
| | |||
* | Changes from Clemens Ballarin for large X-Symbol fonts | David Aspinall | 2005-03-23 |
| | |||
* | Repaired fix suggested by Jonathan S. Shapiro | David Aspinall | 2004-10-07 |
| | |||
* | Include /usr/bin/isatool as a possibility | David Aspinall | 2004-10-05 |
| | |||
* | Fix to `isa-shell-command-to-string' suggested by Jonathan S. Shapiro | David Aspinall | 2004-10-05 |
| | |||
* | Set comment-quote-nested (for Emacs/XEmacs 21.5) | David Aspinall | 2004-05-09 |
| | |||
* | Patch from Brother Makarius | David Aspinall | 2004-05-06 |
| | |||
* | Updated. | David Aspinall | 2004-04-17 |
| | |||
* | Fix isa-tool-list-docs for altered form of output from isatool doc | David Aspinall | 2004-04-17 |
| | |||
* | Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵ | David Aspinall | 2004-04-17 |
| | | | | for Isabelle. | ||
* | Add automatic refresh of Logics menu | David Aspinall | 2004-04-16 |
| | |||
* | Remove title setting | David Aspinall | 2004-04-15 |
| | |||
* | Remove comment | David Aspinall | 2004-04-15 |
| | |||
* | Set supported versions of Isabelle (remove 99, 2002 versions). | David Aspinall | 2004-04-14 |
| | |||
* | Updated. | David Aspinall | 2004-04-14 |
| | |||
* | Comment. | David Aspinall | 2004-04-13 |
| | |||
* | Fix comment. | David Aspinall | 2004-04-13 |
| | |||
* | Fix long-lived typo in setting auto-mode-alist. | David Aspinall | 2004-04-13 |
| | |||
* | fixed single char sub/super script in goals/response window | Gerwin Klein | 2004-04-05 |
| | |||
* | Comments | David Aspinall | 2004-04-02 |
| | |||
* | Update email and web addresses | David Aspinall | 2004-02-08 |
| | |||
* | spanning sub/super scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup> | Gerwin Klein | 2003-12-29 |
| | |||
* | removed bold, no longer supported by x-symbol | Gerwin Klein | 2003-12-23 |
| |