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