coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Completed 11745 (move of jprover to user contribs) and cleaned 11743	herbelin	2009-01-05
\| \| \| \| \| \| \| \|	(detection of Miller's pattern) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11748 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- Ajout possibilité de lancer ocamldebug sur coqide	herbelin	2008-11-07
\| \| \| \| \| \| \| \| \|	- Correction bug #1815 sur "coqide dir_inexistant/nom_fichier" - Tests oubliés de la révision 11438 (amélioration affichage coercions) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11555 85f007b7-540e-0410-9357-904b9bb8a0f7
*	first-order --> firstorder (kills a warning about not being a valid id)	letouzey	2008-04-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10805 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Prise en compte de CAMLP4LIB via fichier configure plutôt que dynamiquement	herbelin	2008-01-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10418 85f007b7-540e-0410-9357-904b9bb8a0f7
*	add $COQTOP to the search path of ocamldebug	letouzey	2007-10-08
\| \| \| \| \| \| \| \| \| \| \|	in a debug session with ocamldebug 3.10, it was looking for file like contrib/foo/bar.ml and not just bar.ml in directories like contrib/foo, hence failing to find such a file. A quick fix is to add $COQTOP itself to the search path. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10193 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey	2007-09-15
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	the patch by S. Mimram) * for detecting architecture, also look for /bin/uname * restore the compatibility of kernel/byterun/coq_interp.c with ocaml 3.07 (caml_modify vs. modify). There is still an issue with this 3.07 and 64-bits architecture (see coqdev and a future bug report). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10122 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Simplification ocamldebug (coq-debug-programs.out obsolète)	herbelin	2006-10-13
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9241 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Added contrib/funind to the path for ocamldebug-coq	courtieu	2006-05-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8864 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Added subtac contrib.	coq	2005-05-25
\| \| \| \| \| \| \|	Added some debug printer in termops. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7073 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8	herbelin	2004-12-23
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6493 85f007b7-540e-0410-9357-904b9bb8a0f7