| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-08-01 | Moved compat hack to proof-site | David Aspinall |
| 2001-08-01 | Add a dummy version of package-provide for FSFEmacs. | David Aspinall |
| 2001-07-09 | Add require for arch flags, cleaner compilation. | David Aspinall |
| 2001-05-16 | Move emacs version compatibility flags to proof-site.el | David Aspinall |
| 2001-05-08 | Copyright date updated | David Aspinall |
| 2000-09-21 | Removed blurry distinction between block-comment and comment in FSF's buffer-... | David Aspinall |
| 2000-09-18 | Added bug fix section and patch for undefined | David Aspinall |
| 2000-09-18 | Emulate buffer-syntactic-context on FSF Emacs | David Aspinall |
| 2000-05-31 | Added hack to completion.el to avoid adding every prefix as completion. | David Aspinall |
| 2000-05-30 | Added process-live-p | David Aspinall |
| 2000-05-29 | Added replace-string for FSF. | David Aspinall |
| 2000-05-26 | Moved compatibility code into proof-compat.el | David Aspinall |
| 2000-05-09 | New files | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |