Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | ||
| | ||||
* | Remove note for devel | 2001-10-04 | ||
| | ||||
* | Fix fudged enabler to call button function interactively. | 2001-10-04 | ||
| | ||||
* | support \<^bold> control symbols; | 2001-09-26 | ||
| | ||||
* | fixed spelling; | 2001-09-26 | ||
| | ||||
* | Updated. | 2001-09-24 | ||
| |