coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Do not display the status of monomorphic constants unless in ↵	Guillaume Melquiond	2015-03-09
\| \| \| \|	universe-polymorphism mode.
*	Upgrading output tests.	Hugo Herbelin	2014-08-12
\| \| \| \| \| \| \| \| \| \| \| \|	output/Arguments.v output/ArgumentsScope.v output/Arguments_renaming.v output/Cases.v output/Implicit.v output/PrintInfos.v output/TranspModType.v Main changes: monomorphic -> not universe polymorphic, Peano vs Nat
*	Fixing output test-suite: since universe polymorphism, the Print command	Pierre-Marie Pédrot	2014-05-08
\| \| \| \|	shows the polymorphism status of the term.
*	Fixing some tests from the test-suite.	ppedrot	2013-09-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16760 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fixing superflous newline in output of About when no parameter is renamed.	herbelin	2011-12-04
\| \| \| \| \| \| \| \| \|	Fixing output tests after having added flushing of warning in revisions 14747 and 14750. Moving Implicit output test to new command Arguments. Adding test of new Arguments syntax in PrintInfos.v. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14758 85f007b7-540e-0410-9357-904b9bb8a0f7
*	theories/, plugins/ and test-suite/ ported to the Arguments vernacular	gareuselesinge	2011-11-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14718 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Documentation Prop<=Set et Arguments Scope Global	herbelin	2008-07-01
	Correction au passage d'un bug de Arguments Scope Global git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11199 85f007b7-540e-0410-9357-904b9bb8a0f7