| Age | Commit message (Expand) | Author |
|---|---|---|
| 1999-11-30 | Set version tag for new release. | David Aspinall |
| 1999-11-30 | Note about dumb tty | David Aspinall |
| 1999-11-30 | Fixup branch | David Aspinall |
| 1999-11-30 | Renamed file | David Aspinall |
| 1999-11-30 | Updated | David Aspinall |
| 1999-11-30 | Added new screenshots, thumbnails. | David Aspinall |
| 1999-11-30 | Fix page titles. | David Aspinall |
| 1999-11-30 | New screenshots | David Aspinall |
| 1999-11-30 | New screenshots. | David Aspinall |
| 1999-11-30 | I retain copyright for PG images. | David Aspinall |
| 1999-11-30 | Typo | David Aspinall |
| 1999-11-30 | Updated | David Aspinall |
| 1999-11-30 | Added macros for some URLs. | David Aspinall |
| 1999-11-30 | Updated | David Aspinall |
| 1999-11-30 | Added FULLVERSION mechanism, to tag proof-general-release. | David Aspinall |
| 1999-11-29 | Updated | David Aspinall |
| 1999-11-29 | Fixed download URL to be homepage. | David Aspinall |
| 1999-11-29 | Added John's name to the credits | David Aspinall |
| 1999-11-29 | Set version tag for new release. | David Aspinall |
| 1999-11-29 | Set version tag for new release. | David Aspinall |
| 1999-11-29 | Note about duplicated messages. | David Aspinall |
| 1999-11-29 | Added more notes about using ML files in Isabelle. | David Aspinall |
| 1999-11-29 | Upcoming fix for 3.1. | David Aspinall |
| 1999-11-29 | Updated. | David Aspinall |
| 1999-11-29 | Note about proof_timing in Isabelle | David Aspinall |
| 1999-11-29 | Updated | David Aspinall |
| 1999-11-29 | Typo | David Aspinall |
| 1999-11-29 | Comments about improved handling of urgent message markers, following | David Aspinall |
| 1999-11-29 | Change SML minor mode binding to C-c C-m, avoiding clash with | David Aspinall |
| 1999-11-29 | Add universal keys to theory mode | David Aspinall |
| 1999-11-26 | Fix to proof-shell-proof-completed-regexp by reverting to previous version. | David Aspinall |
| 1999-11-26 | Set version tag for new release. | David Aspinall |
| 1999-11-26 | Removed brackets. | David Aspinall |
| 1999-11-26 | Fixup formatting | David Aspinall |
| 1999-11-26 | Set version tag for new release. | David Aspinall |
| 1999-11-26 | Typo. | David Aspinall |
| 1999-11-26 | Add technology overview paper. | David Aspinall |
| 1999-11-26 | Outline paper | David Aspinall |
| 1999-11-26 | Updated | David Aspinall |
| 1999-11-26 | Mention .emacs line for RPM package, and default.el. | David Aspinall |
| 1999-11-26 | Updates for 3.0 release. | David Aspinall |
| 1999-11-26 | Moved Coq's Abbrev section. Fixed some typos. | David Aspinall |
| 1999-11-26 | Added index.html link. | David Aspinall |
| 1999-11-26 | Added devel.links target to make a couple of handy links. | David Aspinall |
| 1999-11-26 | Typos. | David Aspinall |
| 1999-11-26 | Fixup branch | David Aspinall |
| 1999-11-26 | Renamed file | David Aspinall |
| 1999-11-26 | Fixup branch | David Aspinall |
| 1999-11-26 | Add main README, COPYING to RPM. | David Aspinall |
| 1999-11-26 | Renamed file | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |