coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Repairing r16205: errors raised by check_evar_instance were no longer	herbelin	2013-02-28
\| \| \| \| \| \|	trapped by solve_simple_eqn. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16257 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Added propagation of evars unification failure reasons for better	herbelin	2013-02-17
\| \| \| \| \| \| \| \|	error messages. The architecture of unification error handling changed, not helped by ocaml for checking that every exceptions is correctly caught. Report or fix if you find a regression. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16205 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Splitted Evarutil in two files	ppedrot	2013-02-10
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16195 85f007b7-540e-0410-9357-904b9bb8a0f7