| Age | Commit message (Expand) | Author |
|---|---|---|
| 1999-01-15 | Test has backward slashes now, not forwards ones.. | David Aspinall |
| 1999-01-15 | Test file for long lines with backslashes. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |