| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |