index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
generic
/
proof-utils.el
Age
Commit message (
Collapse
)
Author
2001-08-17
Fix bug in proof-display-and-keep-buffer which had resulted in switching ↵
David Aspinall
minibuffer windows buffer.
2001-05-08
Fixes for fontification in Xemacs 21.4
David 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-27
Fix bug email address to bugs@proofgeneral.org
David Aspinall
2000-09-26
Fix Proof General web page to www.proofgeneral.org.
David Aspinall
2000-09-25
comment: avoid unbalanced quotes;
Makarius Wenzel
2000-09-23
Fix proof-display-and-keep-buffer for displaying from non-script buffer. ↵
David Aspinall
Add proof-with-script-buffer.
2000-09-18
changed proof-remove-comment to avoid using string-search (using ↵
Christophe Raffalli
string-match instead).
2000-09-15
removed some debugging messages I forgot
Christophe Raffalli
2000-09-15
added function string-search and proof-remove-comment
Christophe Raffalli
2000-09-08
ADded proof-locate-executable.
David Aspinall
2000-06-05
proof-clean-buffer: clear next error flag if buffer is response.
David Aspinall
2000-05-29
Added functions for defining string and integer setters, for proof assistant ↵
David Aspinall
settings.
2000-05-26
Macros 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-16
Docstring fix
David Aspinall
2000-05-12
Moved utility functions to proof-utils.
David Aspinall
2000-05-11
Compatibility hack
David Aspinall
2000-05-09
Added some functions for developers.
David Aspinall
2000-05-05
General utility functions, moved from proof.el
David Aspinall
