aboutsummaryrefslogtreecommitdiff
path: root/README
AgeCommit message (Expand)Author
2007-06-10Updated.David Aspinall
2004-08-25Update for 3.6David Aspinall
2004-04-16Updated.David Aspinall
2004-04-02Updated.David Aspinall
2004-02-29Update.David Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2003-12-11Fix domain nameDavid Aspinall
2003-03-03Updated.David Aspinall
2003-02-22Updated.David Aspinall
2002-08-28Contact in case of probs.David Aspinall
2002-08-27UpdatedDavid Aspinall
2002-08-08UpdatesDavid Aspinall
2002-06-30Update versionDavid Aspinall
2001-08-10Rearrange list of assistants, note REGISTER.David Aspinall
2001-08-01Update for 3.3David Aspinall
2000-12-01af2 is now called PhoXChristophe Raffalli
2000-12-01af2 is now called PhoXChristophe Raffalli
2000-09-28Fix dateDavid Aspinall
2000-09-27Updated, mention PG Kit.David Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-06-15Web addr noteDavid Aspinall
2000-03-13New/updated information filesDavid Aspinall
2000-03-09Canonical web site mentioned.David Aspinall
1999-10-06Next version will be 3.0 cvs updateDavid Aspinall
1999-08-20Mentioned zermelo as temporary serverDavid Aspinall
1999-08-19Date changeDavid Aspinall
1999-06-24Updates for new web pages, todo list.David Aspinall
1998-11-25UpdatedDavid Aspinall
1998-10-07Note about COPYING.David Aspinall
1998-10-02Top-level README for distribution.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:20:30 +0000