coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
...
*	Pour engendrer version.tex, adoption de printf qui, au contraire de	herbelin	2008-04-18
\| \| \| \| \| \| \| \|	echo, devrait marcher pareil sous Ubuntu comme sous les autres systèmes. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10817 85f007b7-540e-0410-9357-904b9bb8a0f7
*	pbm avec echo	filliatr	2008-04-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10814 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fix examples in Program documentation and add comindexes for the various	msozeau	2008-03-23
\| \| \| \| \| \| \| \|	commands. Update documentation of implicit arguments with the new syntax and an explanation for the way it works in inductive type definitions. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10714 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Petits oublis dans Makefile.doc	notin	2008-02-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10578 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Suppression d'un include et de 2 variables inutiles	notin	2008-02-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10572 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Plongement de doc/Makefile dans la nouvelle architecutre des Makefile	notin	2008-02-14
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10570 85f007b7-540e-0410-9357-904b9bb8a0f7