| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Added in-testing message |  David Aspinall | 1999-11-15 |
| * | Set version tag for new release. | David Aspinall | 1999-11-12 |
| * | Set version tag for new release. | David Aspinall | 1999-11-10 |
| * | Set version tag for new release. | David Aspinall | 1999-11-09 |
| * | No unless noted | David Aspinall | 1999-11-09 |
| * | News about x-symbol | David Aspinall | 1999-11-09 |
| * | Note about release 3.0. | David Aspinall | 1999-11-08 |
| * | Set version tag for new release. | David Aspinall | 1999-11-02 |
| * | Set version tag for new release. | David Aspinall | 1999-10-22 |
| * | Typo. | David Aspinall | 1999-10-21 |
| * | Set version tag for new release. | David Aspinall | 1999-10-21 |
| * | Updated for new screenshot | David Aspinall | 1999-10-21 |
| * | New screenshot | David Aspinall | 1999-10-21 |
| * | Set version tag for new release. | David Aspinall | 1999-10-20 |
| * | Fixed bug | David Aspinall | 1999-10-15 |
| * | Doc fixes, php streamlining | David Aspinall | 1999-10-15 |
| * | Formatting | David Aspinall | 1999-10-15 |
| * | Set version tag for new release. | David Aspinall | 1999-10-14 |
| * | Version 3.0 message | David Aspinall | 1999-10-14 |
| * | Wording | David Aspinall | 1999-10-12 |
| * | Note about author added, removed signatures. | David Aspinall | 1999-10-12 |
| * | New Coq maintainer. | David Aspinall | 1999-10-12 |
| * | Set version tag for new release. | David Aspinall | 1999-10-12 |
| * | Set version tag for new release. | David Aspinall | 1999-10-07 |
| * | Remove LucidaSans, defaults to tt font. | David Aspinall | 1999-10-06 |
| * | News later this month. | David Aspinall | 1999-10-06 |
| * | Next version will be 3.0 cvs update | David Aspinall | 1999-10-06 |
| * | Set version tag for new release. | David Aspinall | 1999-10-01 |
| * | News for 1st October. | David Aspinall | 1999-09-30 |
| * | Set version tag for new release. | David Aspinall | 1999-09-30 |
| * | Mentioned and linked ChangeLog file. | David Aspinall | 1999-09-30 |
| * | Set version tag for new release. | David Aspinall | 1999-09-29 |
| * | Set version tag for new release. | David Aspinall | 1999-09-28 |
| * | Set version tag for new release. | David Aspinall | 1999-09-27 |
| * | Added names of helpful people at summer shcool | David Aspinall | 1999-09-24 |
| * | Set version tag for new release. | David Aspinall | 1999-09-23 |
| * | Fixed up date order. | David Aspinall | 1999-09-23 |
| * | Set version tag for new release. | David Aspinall | 1999-09-22 |
| * | Added item about Giens | David Aspinall | 1999-09-22 |
| * | Set version tag for new release. | David Aspinall | 1999-09-21 |
| * | Replaced Patrick with desperate plea for help with Coq PG. | David Aspinall | 1999-09-21 |
| * | Set version tag for new release. | David Aspinall | 1999-09-13 |
| * | Mention Yves Bertot on about page | David Aspinall | 1999-09-13 |
| * | Made a release (ProofGeneral.spec, proof-site.el, download.phtml) | David Aspinall | 1999-09-13 |
| * | Note about volume | David Aspinall | 1999-08-27 |
| * | Set version tag for new release. | David Aspinall | 1999-08-27 |
| * | wording | David Aspinall | 1999-08-27 |
| * | Added gallery | David Aspinall | 1999-08-27 |
| * | New images for gallery | David Aspinall | 1999-08-27 |
| * | Altered release date for 2.1. | David Aspinall | 1999-08-24 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |