aboutsummaryrefslogtreecommitdiffhomepage
path: root/README
Commit message (Expand)AuthorAge
* Update dates and versionsGravatar David Aspinall2011-01-14
* Update dateGravatar David Aspinall2010-12-10
* Update version numbers, release datesGravatar David Aspinall2010-10-01
* UpdatedGravatar David Aspinall2010-08-24
* Minor tweaks to versions, etc.Gravatar David Aspinall2010-08-17
* Bump date (again)Gravatar David Aspinall2010-08-03
* Updated.Gravatar David Aspinall2010-06-27
* Test updateGravatar David Aspinall2010-04-12
* Update dateGravatar David Aspinall2010-03-10
* UpdatesGravatar David Aspinall2009-09-21
* Update for 4.0 and shorten.Gravatar David Aspinall2009-09-07
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Fix versionGravatar David Aspinall2008-07-23
* Updated.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-15
* Updated.Gravatar David Aspinall2007-12-13
* Updated.Gravatar David Aspinall2007-06-10
* Update for 3.6Gravatar David Aspinall2004-08-25
* Updated.Gravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-02
* Update.Gravatar David Aspinall2004-02-29
* Update email and web addressesGravatar David Aspinall2004-02-08
* Fix domain nameGravatar David Aspinall2003-12-11
* Updated.Gravatar David Aspinall2003-03-03
* Updated.Gravatar David Aspinall2003-02-22
* 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