| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Set version tag for new release. |  David Aspinall | 1999-11-30 |
| * | Note about pdftexinfo bug. | David Aspinall | 1999-11-30 |
| * | Disabled use of macros for URLs, sigh. It breaks pdftexinfo. | David Aspinall | 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-30 |
| * | 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-29 |
| * | 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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |