| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Added slides, news about ETAPS demo. |  David Aspinall | 1999-12-14 |
| * | Add technology overview paper. | David Aspinall | 1999-11-26 |
| * | Recommend the ps file over the pdf. | David Aspinall | 1999-11-24 |
| * | Clarify formats available. | David Aspinall | 1999-11-23 |
| * | Added link to pdf file. | David Aspinall | 1999-11-22 |
| * | Doc fixes, php streamlining | David Aspinall | 1999-10-15 |
| * | Tweaks for 2.1 release | David Aspinall | 1999-08-20 |
| * | Mention mailing list | David Aspinall | 1999-08-17 |
| * | Tweaks and validation fixes. | David Aspinall | 1999-07-03 |
| * | Simple hit counter | David Aspinall | 1999-06-30 |
| * | Link for printing download is just .ps.gz now. | David Aspinall | 1999-06-28 |
| * | New web pages | David Aspinall | 1999-06-24 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |