| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Getting ready for 3.2 release |  David Aspinall | 2000-09-13 |
| * | Updated from 3.1 branch | David Aspinall | 2000-05-25 |
| * | Merged from 3.1.5 | David Aspinall | 2000-05-09 |
| * | Added note about 3.1.4 patch, merged from 3.1 branch | David Aspinall | 2000-04-28 |
| * | Note about 3.1.3 release | David Aspinall | 2000-04-04 |
| * | About 3.1.2 | David Aspinall | 2000-03-24 |
| * | Updated | David Aspinall | 2000-03-24 |
| * | Notes about upcoming 3.1.1 changes | David Aspinall | 2000-03-24 |
| * | First release attempt | David Aspinall | 2000-03-23 |
| * | Getting reading for 3.1 | David Aspinall | 2000-03-13 |
| * | Correct release tags. | David Aspinall | 1999-11-30 |
| * | Updated | David Aspinall | 1999-11-30 |
| * | Updated | David Aspinall | 1999-11-29 |
| * | Updated. | David Aspinall | 1999-11-29 |
| * | Record of releases | David Aspinall | 1999-08-27 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |