Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |