coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Fix typos in the Micromega part of the reference manual.	Guillaume Melquiond	2015-07-31
\|
*	Fix some broken Coq scripts in the documentation.	Guillaume Melquiond	2015-07-30
\|
*	refman: switch all source files to utf8	Pierre Letouzey	2014-12-09
\| \| \| \| \| \|	Putting utf8 everywhere helps the maintainance of the online refman. And anyway, this is the way to go. We should also chase and migrate the few remaining iso-latin-1 files elsewhere in the sources.
*	Fixing bug #3605.	Pierre-Marie Pédrot	2014-09-11
\|
*	Grammar: "allowing to" is not proper English	Jason Gross	2014-08-25
\| \| \| \| \| \| \| \| \| \| \|	I'm not quite sure why, but I'm pretty sure it's not. Rather, in "allowing for foo" and "allowing to foo", "foo" modifies the sense in which someting is allowed, rather than it being "foo" that's allowed. "Allowing fooing" generally works, though it can sound a bit awkward. "Allowing one to foo" (or "Allowing {him,her,it,Coq} to foo") is always acceptable, in-as-much as it's ok to use "one". I haven't touched the older instances of it in the CHANGES file.
*	micromega: removal of spurious Export; addition of Lia.v encapsulating lia ↵	Frédéric Besson	2013-12-20
\| \| \| \|	and nia.
*	update of Micromega doc	fbesson	2011-06-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14248 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Micromega doc : psatz Z -> psatz Z 2	fbesson	2009-09-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12353 85f007b7-540e-0410-9357-904b9bb8a0f7
*	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 ↵	fbesson	2009-08-25
\| \| \| \|	85f007b7-540e-0410-9357-904b9bb8a0f7
*	update doc Micromega	fbesson	2008-07-13
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11223 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Micromega: doc + test-suite update	fbesson	2008-07-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11211 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Improved robustness of micromega parser. Proof search of Micromega ↵	fbesson	2008-07-02
\| \| \| \| \| \|	test-suites is now bounded -- ensure termination git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11200 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Micromega : bugs fixes - renaming of tactics - documentation	fbesson	2008-06-25
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11173 85f007b7-540e-0410-9357-904b9bb8a0f7