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
*
Add handling of proof-trace-buffer.
David Aspinall
2001-12-10
*
Dont return a fontified string in proof-response-buffer-display.
David Aspinall
2001-12-10
*
Fix bug in proof-display-and-keep-buffer which had resulted in switching mini...
David Aspinall
2001-08-17
*
Fixes for fontification in Xemacs 21.4
David Aspinall
2001-05-08
*
*** empty log message ***
Christophe Raffalli
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
*
Fix bug email address to bugs@proofgeneral.org
David Aspinall
2000-09-27
*
Fix Proof General web page to www.proofgeneral.org.
David Aspinall
2000-09-26
*
comment: avoid unbalanced quotes;
Makarius Wenzel
2000-09-25
*
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