aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/README
Commit message (Expand)AuthorAge
* Update versions here.Gravatar David Aspinall2008-01-31
* deleted coq x symbols doc in CHANGES.Gravatar Pierre Courtieu2004-04-23
* Updated.Gravatar David Aspinall2004-04-21
* Fix home page address, mention new menu option.Gravatar David Aspinall2004-04-21
* Updated.Gravatar David Aspinall2004-04-21
* Add doc for x-symbolsGravatar David Aspinall2004-04-15
* Updated.Gravatar David Aspinall2004-04-14
* Update versions/TODOGravatar David Aspinall2002-07-17
* Coq/lego confusionGravatar David Aspinall2001-09-09
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* fixed spelling;Gravatar Makarius Wenzel2000-11-27
* Updated to add me.Gravatar David Aspinall2000-03-23
* New/updated information filesGravatar David Aspinall2000-03-13
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09