Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | incorporate smart X11 font installation (used to be in isatool installfonts); | 2001-12-12 | |
| | |||
* | Updated. | 2001-12-11 | |
| | |||
* | Be politically correct about FSF GNU Emacs; update to mention version 21. | 2001-12-11 | |
| | |||
* | fix links to devel download. | 2001-12-11 | |
| | |||
* | Updated. | 2001-12-11 | |
| | |||
* | News item about Emacs 21 support | 2001-12-11 | |
| | |||
* | Updated. | 2001-12-11 | |
| | |||
* | Set version tag for new release. | 2001-12-11 | |
| | |||
* | Note about Emacs 21 support and font lock. | 2001-12-11 | |
| | |||
* | Protect XEmacs only code | 2001-12-11 | |
| | |||
* | Fix test for GNU 21 | 2001-12-11 | |
| | |||
* | Change to font-lock support routines. | 2001-12-11 | |
| | |||
* | Disable customize-menu-create for Emacs 21. | 2001-12-11 | |
| | |||
* | Rework font-lock variable munging to work in GNU Emacs 21 also. | 2001-12-11 | |
| | |||
* | Missing paren | 2001-12-11 | |
| | |||
* | Remove double setting, leave test setting in. | 2001-12-11 | |
| | |||
* | Simplify -goals-config-done and -response-config-done to use current buffer. ↵ | 2001-12-11 | |
| | | | | Kill trace buffer with other associated buffers, and set specifiers similarly for multiple frames. | ||
* | Added proof-trace-output-fontify-enable | 2001-12-11 | |
| | |||
* | Note of Emacs 21 support | 2001-12-11 | |
| | |||
* | Add support for toolbars on Emacs 21. | 2001-12-11 | |
| | |||
* | Add support for Emacs 21 image display. | 2001-12-11 | |
| | |||
* | Add proof-running-on-Emacs21 flag. | 2001-12-11 | |
| | |||
* | Allow toolbar toggle for GNU Emacs 21. | 2001-12-11 | |
| | |||
* | Toolbar allowed in GNU Emacs 21 | 2001-12-11 | |
| | |||
* | Add proof-emacs-imagep function for GNU Emacs 21. | 2001-12-11 | |
| | |||
* | Add handling of proof-trace-buffer. | 2001-12-10 | |
| | |||
* | Added proof-trace-buffer. | 2001-12-10 | |
| | |||
* | Dont return a fontified string in proof-response-buffer-display. | 2001-12-10 | |
| | |||
* | proof-release-lock: do not touch proof-shell-spill-output-buffer; | 2001-12-05 | |
| | | | | proof-shell-spill-output-begin: reuse existing buffer; | ||
* | activate proof-shell-spill-output-regexp; | 2001-12-05 | |
| | |||
* | Updated. | 2001-12-04 | |
| | |||
* | Set version tag for new release. | 2001-12-04 | |
| | |||
* | Update for 3.4pre | 2001-12-04 | |
| | |||
* | Update mailing list address (point to web page) | 2001-12-04 | |
| | |||
* | update from make process; | 2001-12-04 | |
| | |||
* | isar specific commands for bold/sup/sub; | 2001-12-04 | |
| | |||
* | added symbols for alternative 0..9; | 2001-12-04 | |
| | |||
* | \<euro> symbol; | 2001-12-01 | |
| | | | | | use previously defined x-symbol-isabelle-user-table (or nil); x-symbol-user-table achieves electric |- and |= symbols; | ||
* | proof-shell-spill-output-regexp temporarily disabled; | 2001-11-24 | |
| | |||
* | set proof-shell-spill-output-regexp; | 2001-11-20 | |
| | | | | isar-activate-scripting: proof-syn-cd (why is this here needed?); | ||
* | option -k for logic specific isar-keywords file; | 2001-11-13 | |
| | |||
* | added \<index> symbol; | 2001-11-08 | |
| | |||
* | added \<lozenge> and \<struct>; | 2001-11-07 | |
| | |||
* | updated isar-goals-font-lock-keywords; | 2001-11-07 | |
| | |||
* | Fix missing arg to get. | 2001-10-24 | |
| | | | | Add Paul Roziere as req'd by Christopphe Raffalli | ||
* | isar-goals-font-lock-keywords: more general goal pattern; | 2001-10-13 | |
| | |||
* | Updated. | 2001-10-08 | |
| | |||
* | Set version tag for new release. | 2001-10-08 | |
| | |||
* | Add back note. | 2001-10-08 | |
| | |||
* | added isar-help-induct-rules; | 2001-10-04 | |
| |