coq/dev/ocamldebug-v7, branch master The formal proof system Remplacement ocamldebug-v7 par lien symbolique ne marche pas, finalement, création du lien par configure 2004-12-31T13:36:05+00:00 herbelin 2004-12-31T13:36:05+00:00 599dc6d6428e5eb2abaefb9c66509c8f78449240 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6535 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6535 85f007b7-540e-0410-9357-904b9bb8a0f7
Remplacement ocamldebug-v7 par ocamldebug-coq (2ème) 2004-12-31T13:25:22+00:00 herbelin 2004-12-31T13:25:22+00:00 5cd8c126ecca11d6b0325daae52e4aac38721ba1 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6534 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6534 85f007b7-540e-0410-9357-904b9bb8a0f7
Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8 2004-12-23T11:59:41+00:00 herbelin 2004-12-23T11:59:41+00:00 a653f0599c850d7a21f7f70fc7bf30dae26a6a68 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6493 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6493 85f007b7-540e-0410-9357-904b9bb8a0f7
Paramètrage de ocamldebug-v7 par configure à partir d'un 'template' 2000-11-24T19:59:08+00:00 herbelin 2000-11-24T19:59:08+00:00 0832467f0b4445f7b4c5f8e9ab417e585362ed9c git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@949 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@949 85f007b7-540e-0410-9357-904b9bb8a0f7
Reparation bug mutuels ind 2000-11-22T13:08:24+00:00 mohring 2000-11-22T13:08:24+00:00 24cb368c8cda29daa0c34a807e49146c4885226a git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@916 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@916 85f007b7-540e-0410-9357-904b9bb8a0f7
g_natsyntax et g_zsyntax maintenant toujours linkes 2000-10-27T08:46:13+00:00 filliatr 2000-10-27T08:46:13+00:00 751620c70bd3a77ed8fde7cca9e3893f339643b3 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@773 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@773 85f007b7-540e-0410-9357-904b9bb8a0f7
Commit malencontreux sur précédente version 2000-10-04T16:08:36+00:00 herbelin 2000-10-04T16:08:36+00:00 b4ace8546bf9de05a8cdd4267e17c32ee6806f18 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@655 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@655 85f007b7-540e-0410-9357-904b9bb8a0f7
Mise en conformité nouveau Simpl pour Fix 2000-10-04T15:58:49+00:00 herbelin 2000-10-04T15:58:49+00:00 bb02036b476d3a3e7b3b79568257ef3d28ea6a11 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@654 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@654 85f007b7-540e-0410-9357-904b9bb8a0f7
bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo plus petits 2000-06-21T16:43:38+00:00 filliatr 2000-06-21T16:43:38+00:00 5a4b200626300200ec34f4713940465cdc96bebb git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@514 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@514 85f007b7-540e-0410-9357-904b9bb8a0f7
bug discharge (work_alist contenanti plein de fois les memes choses) 2000-03-18T00:11:25+00:00 filliatr 2000-03-18T00:11:25+00:00 dafb5f443611cf0bfb4626f47d20d65149bd3fe0 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@323 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@323 85f007b7-540e-0410-9357-904b9bb8a0f7