index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-utils.el
Commit message (
Expand
)
Author
Age
*
Fix proof-display-and-keep-buffer for displaying from non-script buffer. Add...
David Aspinall
2000-09-23
*
changed proof-remove-comment to avoid using string-search (using string-match...
Christophe Raffalli
2000-09-18
*
removed some debugging messages I forgot
Christophe Raffalli
2000-09-15
*
added function string-search and proof-remove-comment
Christophe Raffalli
2000-09-15
*
ADded proof-locate-executable.
David Aspinall
2000-09-08
*
proof-clean-buffer: clear next error flag if buffer is response.
David Aspinall
2000-06-05
*
Added functions for defining string and integer setters, for proof assistant ...
David Aspinall
2000-05-29
*
Macros for generic custom settings from proof-config.
David Aspinall
2000-05-26
*
Docstring fix
David Aspinall
2000-05-16
*
Moved utility functions to proof-utils.
David Aspinall
2000-05-12
*
Compatibility hack
David Aspinall
2000-05-11
*
Added some functions for developers.
David Aspinall
2000-05-09
*
General utility functions, moved from proof.el
David Aspinall
2000-05-05