coq/README, branch master The formal proof system README in MarkDown 2015-08-05T14:16:13+00:00 Guillaume Claret 2015-08-05T14:16:13+00:00 62ca663881ac7f731e2cf8a574c2e615f8d4a900 






Updating README wrt coq-club and ftp.
2014-07-07T19:30:17+00:00

Hugo Herbelin

2014-07-07T19:24:28+00:00

8e767acc26cb2335f1a8dac3c4c184e2cc0b64c4












Updating new ftp link to old archives.
2013-11-24T09:57:39+00:00

Hugo Herbelin

2013-11-24T09:56:38+00:00

06303bbeac031ac0382eb427724fc3911fa4b696












- changing minimal version for OCaml: Coq uses Filename.dirsep that is available from OCaml 3.11.2 (see bug #2707)
2012-02-20T13:50:10+00:00

notin

2012-02-20T13:50:10+00:00

70621433c2c4028650e1c09e88c496f0aba67a6f

- fixing outdated address for Coq Club

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14987 85f007b7-540e-0410-9357-904b9bb8a0f7





- fixing outdated address for Coq Club

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14987 85f007b7-540e-0410-9357-904b9bb8a0f7







MAJ fichiers spécifiques trunk
2008-06-22T13:02:25+00:00

herbelin

2008-06-22T13:02:25+00:00

de45178c0b684a211fa61866e82b045f12f85ffe

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11165 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11165 85f007b7-540e-0410-9357-904b9bb8a0f7







Maj configure, README, etc...
2006-04-14T10:34:47+00:00

notin

2006-04-14T10:34:47+00:00

95348ce89fd285985ba60ae2f231825758106069

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8712 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8712 85f007b7-540e-0410-9357-904b9bb8a0f7







MAJ doc
2004-06-02T08:26:07+00:00

herbelin

2004-06-02T08:26:07+00:00

d1261e3fc160402a15c6c710ca97b4d94911f247

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5779 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5779 85f007b7-540e-0410-9357-904b9bb8a0f7







preparation pour release (suite)
2004-03-15T17:00:28+00:00

barras

2004-03-15T17:00:28+00:00

ec8b8a5ebd913ace8bc746bdb5f93b7e6b425a8e

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7







MAJ
2003-12-27T20:37:22+00:00

herbelin

2003-12-27T20:37:22+00:00

5670cc17f6bfc5b6757f9f950c55c267abe1c818

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5155 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5155 85f007b7-540e-0410-9357-904b9bb8a0f7







MAJ adresse ftp
2003-07-09T13:57:15+00:00

herbelin

2003-07-09T13:57:15+00:00

052def3248761f72d617d10a276d09bd3c248cb6

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4230 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4230 85f007b7-540e-0410-9357-904b9bb8a0f7