| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Removed blurry distinction between block-comment and comment in FSF's buffer-... |  David Aspinall | 2000-09-21 |
| * | Added bug fix section and patch for undefined | David Aspinall | 2000-09-18 |
| * | Emulate buffer-syntactic-context on FSF Emacs | David Aspinall | 2000-09-18 |
| * | Added hack to completion.el to avoid adding every prefix as completion. | David Aspinall | 2000-05-31 |
| * | Added process-live-p | David Aspinall | 2000-05-30 |
| * | Added replace-string for FSF. | David Aspinall | 2000-05-29 |
| * | Moved compatibility code into proof-compat.el | David Aspinall | 2000-05-26 |
| * | New files | David Aspinall | 2000-05-09 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |