aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-utils.el
Commit message (Expand)AuthorAge
* Use executable-findGravatar David Aspinall2002-07-01
* GPLGravatar David Aspinall2002-06-21
* Make hack for XEmacs 21.4 also work for later versionsGravatar David Aspinall2002-06-12
* Fix font lock for E21 (I hope)Gravatar David Aspinall2002-05-03
* Year changesGravatar David Aspinall2002-03-21
* added hook: proof-before-fontify-output-hookGravatar Christophe Raffalli2002-03-21
* Updates to font-lock handling in proof-fontify-region, proof-font-lock-clear-...Gravatar David Aspinall2002-02-23
* windows-of-buffer -> get-buffer-window-list GNU nameGravatar David Aspinall2002-01-15
* Protect XEmacs only codeGravatar David Aspinall2001-12-11
* Rework font-lock variable munging to work in GNU Emacs 21 also.Gravatar David Aspinall2001-12-11
* Add handling of proof-trace-buffer.Gravatar David Aspinall2001-12-10
* Dont return a fontified string in proof-response-buffer-display.Gravatar David Aspinall2001-12-10
* Fix bug in proof-display-and-keep-buffer which had resulted in switching mini...Gravatar David Aspinall2001-08-17
* Fixes for fontification in Xemacs 21.4Gravatar David Aspinall2001-05-08
* *** empty log message ***Gravatar Christophe Raffalli2000-10-30
* *** empty log message ***Gravatar Christophe Raffalli2000-10-27
* *** empty log message ***Gravatar Christophe Raffalli2000-10-26
* *** empty log message ***Gravatar Christophe Raffalli2000-10-26
* Fix bug email address to bugs@proofgeneral.orgGravatar David Aspinall2000-09-27
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
* comment: avoid unbalanced quotes;Gravatar Makarius Wenzel2000-09-25
* Fix proof-display-and-keep-buffer for displaying from non-script buffer. Add...Gravatar David Aspinall2000-09-23
* changed proof-remove-comment to avoid using string-search (using string-match...Gravatar Christophe Raffalli2000-09-18
* removed some debugging messages I forgotGravatar Christophe Raffalli2000-09-15
* added function string-search and proof-remove-commentGravatar Christophe Raffalli2000-09-15
* ADded proof-locate-executable.Gravatar David Aspinall2000-09-08
* proof-clean-buffer: clear next error flag if buffer is response.Gravatar David Aspinall2000-06-05
* Added functions for defining string and integer setters, for proof assistant ...Gravatar David Aspinall2000-05-29
* Macros for generic custom settings from proof-config.Gravatar David Aspinall2000-05-26
* Docstring fixGravatar David Aspinall2000-05-16
* Moved utility functions to proof-utils.Gravatar David Aspinall2000-05-12
* Compatibility hackGravatar David Aspinall2000-05-11
* Added some functions for developers.Gravatar David Aspinall2000-05-09
* General utility functions, moved from proof.elGravatar David Aspinall2000-05-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-14 01:12:07 +0000