aboutsummaryrefslogtreecommitdiffhomepage
path: root/html/doc.phtml
Commit message (Expand)AuthorAge
* Minor changes and improvementsGravatar David Aspinall2000-09-13
* Link to two manuals now.Gravatar David Aspinall2000-08-28
* Make doc link to 3.1, not pre-release. Minor extra editing on new release.Gravatar David Aspinall2000-05-25
* Reference tweakGravatar David Aspinall2000-05-16
* Better reference to TACAS paper. Added link to white paper draft.Gravatar David Aspinall2000-05-16
* Draft slides no longer draft. Fix broken link, too.Gravatar David Aspinall2000-03-24
* Added slides, news about ETAPS demo.Gravatar David Aspinall1999-12-14
* Add technology overview paper.Gravatar David Aspinall1999-11-26
* Recommend the ps file over the pdf.Gravatar David Aspinall1999-11-24
* Clarify formats available.Gravatar David Aspinall1999-11-23
* Added link to pdf file.Gravatar David Aspinall1999-11-22
* Doc fixes, php streamliningGravatar David Aspinall1999-10-15
* Tweaks for 2.1 releaseGravatar David Aspinall1999-08-20
* Mention mailing listGravatar David Aspinall1999-08-17
* Tweaks and validation fixes.Gravatar David Aspinall1999-07-03
* Simple hit counterGravatar David Aspinall1999-06-30
* Link for printing download is just .ps.gz now.Gravatar David Aspinall1999-06-28
* New web pagesGravatar David Aspinall1999-06-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 23:55:21 +0000