| Age | Commit message (Expand) | Author |
|---|---|---|
| 1999-01-21 | Improved test file so that it works correctly with installed LEGO 1.3.1 | Thomas Kleymann |
| 1999-01-18 | added Solaris-specific path. Requires LEGO versions more recent than 1.3.1 | Thomas Kleymann |
| 1999-01-18 | does indeed crash Proof General, Version 2.1pre990112 | Thomas Kleymann |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |