| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Remove validation stamp from footer, since its a lie. |  David Aspinall | 2001-09-09 |
| * | Change to my canonical www.dcs web address | David Aspinall | 2001-03-20 |
| * | Changes to use proofgen@dcs for now instead of broken proofgeneral.org | David Aspinall | 2001-03-20 |
| * | Renamed file | David Aspinall | 2000-09-28 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |