| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix to validator links |  David Aspinall | 2000-01-18 |
| * | Hedge on tag for validator image, it's really a lie and should have a questio... | David Aspinall | 1999-12-01 |
| * | Validator address fix. | David Aspinall | 1999-07-05 |
| * | Tweaks and validation fixes. | David Aspinall | 1999-07-03 |
| * | Fixed validator address. | David Aspinall | 1999-07-03 |
| * | New web pages | David Aspinall | 1999-06-24 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |