aboutsummaryrefslogtreecommitdiffhomepage
path: root/README
Commit message (Expand)AuthorAge
* Contact in case of probs.Gravatar David Aspinall2002-08-28
* UpdatedGravatar David Aspinall2002-08-27
* UpdatesGravatar David Aspinall2002-08-08
* Update versionGravatar David Aspinall2002-06-30
* Rearrange list of assistants, note REGISTER.Gravatar David Aspinall2001-08-10
* Update for 3.3Gravatar David Aspinall2001-08-01
* af2 is now called PhoXGravatar Christophe Raffalli2000-12-01
* af2 is now called PhoXGravatar Christophe Raffalli2000-12-01
* Fix dateGravatar David Aspinall2000-09-28
* Updated, mention PG Kit.Gravatar David Aspinall2000-09-27
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
* Web addr noteGravatar David Aspinall2000-06-15
* New/updated information filesGravatar David Aspinall2000-03-13
* Canonical web site mentioned.Gravatar David Aspinall2000-03-09
* Next version will be 3.0 cvs updateGravatar David Aspinall1999-10-06
* Mentioned zermelo as temporary serverGravatar David Aspinall1999-08-20
* Date changeGravatar David Aspinall1999-08-19
* Updates for new web pages, todo list.Gravatar David Aspinall1999-06-24
* UpdatedGravatar David Aspinall1998-11-25
* Note about COPYING.Gravatar David Aspinall1998-10-07
* Top-level README for distribution.Gravatar David Aspinall1998-10-02