coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Change Implicit Arguments to Arguments in test-suite	Jasper Hugunin	2018-03-30
*	CHANGES and tests for with Definition @{univs}	Gaëtan Gilbert	2018-03-05
*	Merge PR #6740: Adding a sanity check on inductive variance subtyping.	Maxime Dénès	2018-02-21
\|\
* \|	Adding a test for the construction that was broken in Coccinelle.	Pierre-Marie Pédrot	2018-02-16
\| *	Adding a test for variance subtyping in the module system.	Pierre-Marie Pédrot	2018-02-15
\|/
*	Moving bug numbers to BZ# format in the test-suite.	Théo Zimmermann	2017-10-19
*	Ensuring all .v files end with a newline to make "sed -i" work better on them.	Hugo Herbelin	2017-08-21
*	Properly handling polymorphic inductive subtyping in the kernel.	Pierre-Marie Pédrot	2017-07-11
*	Cleaning up the implementation of module subtyping in the kernel.	Pierre-Marie Pédrot	2017-07-11
*	Unset Asymmetric Patterns	pboutill	2013-01-18
*	Kills the useless tactic annotations "in \|- *"	letouzey	2012-07-05
*	Starting being more explicit on the reasons why module subtyping fails.	herbelin	2011-03-05
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9859 85f007b7-540e-04...	soubiran	2007-05-25
*	Removed some useless code in mod_typing that was redundant with safe_typing.	soubiran	2007-02-21
*	Prise en compte des univers algébriques dans les types inférés dans	herbelin	2007-01-19
*	Correction bug #1302	herbelin	2007-01-17
*	remplacement d'un test d'egalite par un test de convertibilite dans injection...	jforest	2006-12-22
*	Clarification des contraintes sur le contexte de paramètres des	herbelin	2006-10-17
*	Correction de deux cas où les types inductifs n'étaient pas comparés	herbelin	2006-10-05
*	Correction du bug #1181	jforest	2006-09-14
*	Conformité nouveaux principes: Declare Module non utilisable pour définir u...	herbelin	2006-05-10
*	Test synchronisation chargement objets non logiques	herbelin	2006-04-15
*	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin	2005-12-21
*	MAJ syntaxe v7 avant activation en syntaxe v8	herbelin	2005-12-21
*	Anciennement déplacé dans 'output'	herbelin	2005-12-21
*	Simplest Demo on modules	coq	2003-11-28
*	L'exemple phare de modules - simplifie pour TPHOLs	coq	2003-09-22
*	Corrige Bug (PR#290)	coq	2003-05-05
*	commentaire	coq	2003-02-06
*	MAJ syntaxe modules + nouveau fichier mod_decl qui explique tout	coq	2003-01-31
*	Remplacement de Syntactic Definition par Notation	herbelin	2002-11-24
*	Encore quelques rangements dans Nametab + petits trucs	coq	2002-09-27
*	Encore quelques tests sur modules...	coq	2002-08-16
*	Petites corrections ici et la	coq	2002-08-13
*	Modules dans COQ\!\!\!\!	coq	2002-08-02