Commit message (Expand) | Author | Age | |
---|---|---|---|
* | changed proof-remove-comment to avoid using string-search (using string-match... | 2000-09-18 | |
* | removed some debugging messages I forgot | 2000-09-15 | |
* | added function string-search and proof-remove-comment | 2000-09-15 | |
* | ADded proof-locate-executable. | 2000-09-08 | |
* | proof-clean-buffer: clear next error flag if buffer is response. | 2000-06-05 | |
* | Added functions for defining string and integer setters, for proof assistant ... | 2000-05-29 | |
* | Macros for generic custom settings from proof-config. | 2000-05-26 | |
* | Docstring fix | 2000-05-16 | |
* | Moved utility functions to proof-utils. | 2000-05-12 | |
* | Compatibility hack | 2000-05-11 | |
* | Added some functions for developers. | 2000-05-09 | |
* | General utility functions, moved from proof.el | 2000-05-05 |