coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Turned off Mac dynlink hack for 10.6.3+ on x86_64	thutchin	2010-07-05
\| \| \| \| \| \| \| \| \|	I don't have access to an x86_64 computer with 10.6 Maybe for 10.6.0/1/2 special cases aren't required Reverted commit r13083 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13243 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Replace ld by gcc in ocamlopt_shared_os5fix.sh (Closes: #2325)	glondu	2010-06-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13083 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Complementary fix to have ocamlopt_shared_os5fix.sh working correctly	herbelin	2009-03-31
\| \| \| \| \| \| \|	(tested on MacOS 10.5). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12042 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo)	letouzey	2009-03-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12041 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)	letouzey	2009-03-29
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12033 85f007b7-540e-0410-9357-904b9bb8a0f7