aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-utils.el
AgeCommit message (Collapse)Author
2002-08-12Patch for XEmacs 20.4 compat [incomplete?].David Aspinall
2002-08-08Allow favourite saving when user wants.David Aspinall
2002-08-07Rename proof-dont-switch-windows -> proof-three-window-modeDavid Aspinall
2002-07-18CommentsDavid Aspinall
2002-07-18Fix active variable highlighting in Isabelle with X-Symbol.David Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output ↵David Aspinall
display.
2002-07-01Use executable-findDavid Aspinall
2002-06-21GPLDavid Aspinall
2002-06-12Make hack for XEmacs 21.4 also work for later versionsDavid Aspinall
2002-05-03Fix font lock for E21 (I hope)David Aspinall
2002-03-21Year changesDavid Aspinall
2002-03-21added hook: proof-before-fontify-output-hookChristophe Raffalli
2002-02-23Updates to font-lock handling in proof-fontify-region, ↵David Aspinall
proof-font-lock-clear-font-lock-vars. Fix final return value in fontify region.
2002-01-15windows-of-buffer -> get-buffer-window-list GNU nameDavid Aspinall
2001-12-11Protect XEmacs only codeDavid Aspinall
2001-12-11Rework font-lock variable munging to work in GNU Emacs 21 also.David Aspinall
2001-12-10Add handling of proof-trace-buffer.David Aspinall
2001-12-10Dont return a fontified string in proof-response-buffer-display.David Aspinall
2001-08-17Fix bug in proof-display-and-keep-buffer which had resulted in switching ↵David Aspinall
minibuffer windows buffer.
2001-05-08Fixes for fontification in Xemacs 21.4David Aspinall
2000-10-30*** empty log message ***Christophe Raffalli
2000-10-27*** empty log message ***Christophe Raffalli
2000-10-26*** empty log message ***Christophe Raffalli
2000-10-26*** empty log message ***Christophe Raffalli
2000-09-27Fix bug email address to bugs@proofgeneral.orgDavid Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-09-25comment: avoid unbalanced quotes;Makarius Wenzel
2000-09-23Fix proof-display-and-keep-buffer for displaying from non-script buffer. ↵David Aspinall
Add proof-with-script-buffer.
2000-09-18changed proof-remove-comment to avoid using string-search (using ↵Christophe Raffalli
string-match instead).
2000-09-15removed some debugging messages I forgotChristophe Raffalli
2000-09-15added function string-search and proof-remove-commentChristophe Raffalli
2000-09-08ADded proof-locate-executable.David Aspinall
2000-06-05proof-clean-buffer: clear next error flag if buffer is response.David Aspinall
2000-05-29Added functions for defining string and integer setters, for proof assistant ↵David Aspinall
settings.
2000-05-26Macros for generic custom settings from proof-config.David Aspinall
Made proof-set-value work with generic settings as well as global ones, hacking a name for a generic function.
2000-05-16Docstring fixDavid Aspinall
2000-05-12Moved utility functions to proof-utils.David Aspinall
2000-05-11Compatibility hackDavid Aspinall
2000-05-09Added some functions for developers.David Aspinall
2000-05-05General utility functions, moved from proof.elDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 13:16:05 +0000