| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Doc of spec and menu, patch now removed |  David Aspinall | 2001-05-16 |
| * | New file, test cases for bugs | David Aspinall | 2000-05-25 |
| * | Notes about using cvs and branch. | David Aspinall | 2000-04-28 |
| * | Updated | David Aspinall | 1999-11-17 |
| * | Updated | David Aspinall | 1999-09-13 |
| * | A* Fix display handling problems (tms, all week) |  Thomas Kleymann | 1998-11-03 |
| * | Description of dir contents | David Aspinall | 1998-10-19 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |