coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	generation auto des .bat	narboux	2005-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7537 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Nettoyage suite nouveaux avertissements Y et Z de ocaml 3.09	herbelin	2005-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7536 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Nettoyage suite nouvel avertissement Z de ocaml 3.09	herbelin	2005-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7535 85f007b7-540e-0410-9357-904b9bb8a0f7
*	uninstall ok	narboux	2005-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7534 85f007b7-540e-0410-9357-904b9bb8a0f7
*	un peu mieux mais pas encore ca	narboux	2005-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7533 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- debugging og "Show Intros": no line breaking + fresh ids	coq	2005-11-08
\| \| \| \| \| \| \| \|	- added the command "Show Match t" which prints a typical "match...with" for type t. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7532 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-11-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7530 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-11-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7529 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Modifications in the .depend files for the contrib/recdef directory	bertot	2005-11-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7528 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Adds tools to help in defining new general recursive functions	bertot	2005-11-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7527 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-11-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7524 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coq icon	narboux	2005-11-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7523 85f007b7-540e-0410-9357-904b9bb8a0f7
*	installer windows travail en cours	narboux	2005-11-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7522 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-11-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7520 85f007b7-540e-0410-9357-904b9bb8a0f7
*	option -w y finalement pas admise par ocamlc <= 3.08.2	herbelin	2005-11-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7519 85f007b7-540e-0410-9357-904b9bb8a0f7
*	scprit for windows install program	narboux	2005-11-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7517 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-11-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7515 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Compatibilité ocaml 3.09	herbelin	2005-11-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7514 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Passage option -w à ocaml	herbelin	2005-11-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7513 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Conformité au principe du nouveau warning X de ocaml 3.09	herbelin	2005-11-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7512 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Confusion message erreur détectée par nouveau warning X de ocaml 3.09	herbelin	2005-11-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7509 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Confusion assert/error détectée par nouveau warning X de ocaml 3.09	herbelin	2005-11-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7508 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Point-virgule manquant ligne 914 détecté par nouveau warning X de ocaml 3.09	herbelin	2005-11-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7503 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-11-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7499 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2005-11-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7498 85f007b7-540e-0410-9357-904b9bb8a0f7
*	deplacement params_ind	mohring	2005-11-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7497 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-11-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7495 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-11-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7494 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Types inductifs parametriques	mohring	2005-11-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7493 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Test reproductibilité du bug #1031	herbelin	2005-11-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7491 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Correction bug invert_names (cf bug #1031)	herbelin	2005-11-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7490 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout tests interactifs	herbelin	2005-11-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7489 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-11-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7487 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Interactive test of Back	herbelin	2005-11-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7486 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Correction bug #1030 (conséquence du commit 1.84 sur le discharge: ↵	herbelin	2005-11-01
\| \| \| \| \| \|	add_frozen_state était passé à la trappe) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7485 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-31
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7483 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7481 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7479 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-28
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7477 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7475 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7474 85f007b7-540e-0410-9357-904b9bb8a0f7
*	catchable_exception laisse passer les InductiveError	werner	2005-10-27
\| \| \| \| \| \| \|	BW git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7473 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7471 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7469 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7465 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7463 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7461 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7459 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	coq	2005-10-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7457 85f007b7-540e-0410-9357-904b9bb8a0f7
*	erreur coqdoc + headsep	mohring	2005-10-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7456 85f007b7-540e-0410-9357-904b9bb8a0f7