| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |