| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-05-25 | Make doc link to 3.1, not pre-release. Minor extra editing on new release. | David Aspinall |
| 2000-05-16 | Reference tweak | David Aspinall |
| 2000-05-16 | Better reference to TACAS paper. Added link to white paper draft. | David Aspinall |
| 2000-03-24 | Draft slides no longer draft. Fix broken link, too. | David Aspinall |
| 1999-12-14 | Added slides, news about ETAPS demo. | David Aspinall |
| 1999-11-26 | Add technology overview paper. | David Aspinall |
| 1999-11-24 | Recommend the ps file over the pdf. | David Aspinall |
| 1999-11-23 | Clarify formats available. | David Aspinall |
| 1999-11-22 | Added link to pdf file. | David Aspinall |
| 1999-10-15 | Doc fixes, php streamlining | David Aspinall |
| 1999-08-20 | Tweaks for 2.1 release | David Aspinall |
| 1999-08-17 | Mention mailing list | David Aspinall |
| 1999-07-03 | Tweaks and validation fixes. | David Aspinall |
| 1999-06-30 | Simple hit counter | David Aspinall |
| 1999-06-28 | Link for printing download is just .ps.gz now. | David Aspinall |
| 1999-06-24 | New web pages | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |