coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
...
*	ProofTree2Xml is no longer directly used by Xmlcommand.	sacerdot	2004-03-25
\| \| \| \| \| \| \| \|	On the contrary, it registers itself using the hook provided by Xmlcommand. The obtained designed is more modular. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5564 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-03-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5557 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-03-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5534 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-03-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5528 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-03-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5498 85f007b7-540e-0410-9357-904b9bb8a0f7
*	oops	corbinea	2004-03-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5485 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-03-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5461 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-03-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5449 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-03-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5432 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ROmega	mohring	2004-03-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5430 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-03-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5429 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-03-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5421 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-03-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5412 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-03-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5400 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-02-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5380 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqdoc	filliatr	2004-02-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5379 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-02-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5364 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-02-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5359 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-02-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5353 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-02-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5344 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-02-13
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5332 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-02-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5306 85f007b7-540e-0410-9357-904b9bb8a0f7
*	correction de bugs de congruence et firstorder (inductifs)	corbinea	2004-02-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5303 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-02-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5296 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-01-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5271 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-01-28
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5258 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-01-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5250 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-01-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5245 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-01-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5230 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2004-01-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5229 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-01-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5205 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-01-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5191 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2004-01-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5169 85f007b7-540e-0410-9357-904b9bb8a0f7
*	meilleure presentation des commentaires du traducteur	barras	2004-01-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5168 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-12-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5119 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-12-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5083 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-12-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5079 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-12-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5060 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-12-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5058 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-12-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5042 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ground->firstorder, cc-> congruence, CC final commit	corbinea	2003-11-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5022 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-11-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5003 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CC: added injection theory	corbinea	2003-11-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4987 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-11-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4984 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2003-11-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4982 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-11-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4953 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-11-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4930 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-11-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4925 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-11-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4898 85f007b7-540e-0410-9357-904b9bb8a0f7
*	factorisation et generalisation des clauses	barras	2003-11-13
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4892 85f007b7-540e-0410-9357-904b9bb8a0f7