aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-utils.el
AgeCommit message (Expand)Author
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. Add...David Aspinall
2000-09-18changed proof-remove-comment to avoid using string-search (using string-match...Christophe Raffalli
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
2000-05-26Macros for generic custom settings from proof-config.David Aspinall
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-02-01 13:19:34 +0000