aboutsummaryrefslogtreecommitdiff
path: root/html/doc.phtml
AgeCommit message (Collapse)Author
2000-09-28Renamed fileDavid Aspinall
2000-09-27Updated web pages, misc improvements.David Aspinall
2000-09-13Minor changes and improvementsDavid Aspinall
2000-08-28Link to two manuals now.David Aspinall
2000-05-25Make doc link to 3.1, not pre-release. Minor extra editing on new release.David Aspinall
2000-05-16Reference tweakDavid Aspinall
2000-05-16Better reference to TACAS paper. Added link to white paper draft.David Aspinall
2000-03-24Draft slides no longer draft. Fix broken link, too.David Aspinall
1999-12-14Added slides, news about ETAPS demo.David Aspinall
1999-11-26Add technology overview paper.David Aspinall
1999-11-24Recommend the ps file over the pdf.David Aspinall
1999-11-23Clarify formats available.David Aspinall
1999-11-22Added link to pdf file.David Aspinall
1999-10-15Doc fixes, php streamliningDavid Aspinall
1999-08-20Tweaks for 2.1 releaseDavid Aspinall
1999-08-17Mention mailing listDavid Aspinall
1999-07-03Tweaks and validation fixes.David Aspinall
1999-06-30Simple hit counterDavid Aspinall
1999-06-28Link for printing download is just .ps.gz now.David Aspinall
1999-06-24New web pagesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:55:57 +0000