aboutsummaryrefslogtreecommitdiff
path: root/coq/README
AgeCommit message (Collapse)Author
2015-12-31comment and readme.Pierre Courtieu
2011-10-03Update dates and versionsDavid Aspinall
2011-06-22Remove pointer to closed ticketDavid Aspinall
2011-01-14Update dates and versionsDavid Aspinall
2010-10-01Update version numbers, release datesDavid Aspinall
2009-12-01Point to Trac #313David Aspinall
2009-09-08Remove more of 80 codeDavid Aspinall
2009-09-07Update for Unicode Tokens.David Aspinall
2008-01-31Update versions here.David Aspinall
2004-04-23deleted coq x symbols doc in CHANGES.Pierre Courtieu
2004-04-21Updated.David Aspinall
2004-04-21Fix home page address, mention new menu option.David Aspinall
2004-04-21Updated.David Aspinall
2004-04-15Add doc for x-symbolsDavid Aspinall
2004-04-14Updated.David Aspinall
2002-07-17Update versions/TODODavid Aspinall
2001-09-09Coq/lego confusionDavid Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
2000-11-27fixed spelling;Makarius Wenzel
2000-03-23Updated to add me.David Aspinall
2000-03-13New/updated information filesDavid Aspinall
2000-03-09Added README files for each prover, summarizing status.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:47:02 +0000