aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* News item about Emacs 21 supportGravatar David Aspinall2001-12-11
* Updated.Gravatar David Aspinall2001-12-11
* Set version tag for new release.Gravatar David Aspinall2001-12-11
* Note about Emacs 21 support and font lock.Gravatar David Aspinall2001-12-11
* Protect XEmacs only codeGravatar David Aspinall2001-12-11
* Fix test for GNU 21Gravatar David Aspinall2001-12-11
* Change to font-lock support routines.Gravatar David Aspinall2001-12-11
* Disable customize-menu-create for Emacs 21.Gravatar David Aspinall2001-12-11
* Rework font-lock variable munging to work in GNU Emacs 21 also.Gravatar David Aspinall2001-12-11
* Missing parenGravatar David Aspinall2001-12-11
* Remove double setting, leave test setting in.Gravatar David Aspinall2001-12-11
* Simplify -goals-config-done and -response-config-done to use current buffer. ...Gravatar David Aspinall2001-12-11
* Added proof-trace-output-fontify-enableGravatar David Aspinall2001-12-11
* Note of Emacs 21 supportGravatar David Aspinall2001-12-11
* Add support for toolbars on Emacs 21.Gravatar David Aspinall2001-12-11
* Add support for Emacs 21 image display.Gravatar David Aspinall2001-12-11
* Add proof-running-on-Emacs21 flag.Gravatar David Aspinall2001-12-11
* Allow toolbar toggle for GNU Emacs 21.Gravatar David Aspinall2001-12-11
* Toolbar allowed in GNU Emacs 21Gravatar David Aspinall2001-12-11
* Add proof-emacs-imagep function for GNU Emacs 21.Gravatar David Aspinall2001-12-11
* Add handling of proof-trace-buffer.Gravatar David Aspinall2001-12-10
* Added proof-trace-buffer.Gravatar David Aspinall2001-12-10
* Dont return a fontified string in proof-response-buffer-display.Gravatar David Aspinall2001-12-10
* proof-release-lock: do not touch proof-shell-spill-output-buffer;Gravatar Makarius Wenzel2001-12-05
* activate proof-shell-spill-output-regexp;Gravatar Makarius Wenzel2001-12-05
* Updated.Gravatar David Aspinall2001-12-04
* Set version tag for new release.Gravatar David Aspinall2001-12-04
* Update for 3.4preGravatar David Aspinall2001-12-04
* Update mailing list address (point to web page)Gravatar David Aspinall2001-12-04
* update from make process;Gravatar Makarius Wenzel2001-12-04
* isar specific commands for bold/sup/sub;Gravatar Makarius Wenzel2001-12-04
* added symbols for alternative 0..9;Gravatar Makarius Wenzel2001-12-04
* \<euro> symbol;Gravatar Makarius Wenzel2001-12-01
* proof-shell-spill-output-regexp temporarily disabled;Gravatar Makarius Wenzel2001-11-24
* set proof-shell-spill-output-regexp;Gravatar Makarius Wenzel2001-11-20
* option -k for logic specific isar-keywords file;Gravatar Makarius Wenzel2001-11-13
* added \<index> symbol;Gravatar Makarius Wenzel2001-11-08
* added \<lozenge> and \<struct>;Gravatar Makarius Wenzel2001-11-07
* updated isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2001-11-07
* Fix missing arg to get.Gravatar David Aspinall2001-10-24
* isar-goals-font-lock-keywords: more general goal pattern;Gravatar Makarius Wenzel2001-10-13
* Updated.Gravatar David Aspinall2001-10-08
* Set version tag for new release.Gravatar David Aspinall2001-10-08
* Add back note.Gravatar David Aspinall2001-10-08
* added isar-help-induct-rules;Gravatar Makarius Wenzel2001-10-04
* Remove note for develGravatar David Aspinall2001-10-04
* Fix fudged enabler to call button function interactively.Gravatar David Aspinall2001-10-04
* support \<^bold> control symbols;Gravatar Makarius Wenzel2001-09-26
* fixed spelling;Gravatar Makarius Wenzel2001-09-26
* Updated.Gravatar David Aspinall2001-09-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 16:55:54 +0000