| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Improved test file so that it works correctly with installed LEGO 1.3.1 |  Thomas Kleymann | 1999-01-21 |
| * | 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 | 1999-01-18 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |