coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixing #4467 (continued).	Hugo Herbelin	2016-01-13
*	A uniformization step around understand_* and interp_* functions.	herbelin	2013-05-09
*	Unset Asymmetric Patterns	pboutill	2013-01-18
*	Taking into account the possibility of having a type of type which is	herbelin	2012-12-18
*	Fix the test-suite by removing any Reset in the scripts	letouzey	2012-03-23
*	Updating Cases.v test.	herbelin	2011-11-21
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Slight change of the semantics of user-given casts: they don't really	msozeau	2008-11-07
*	Mise en place d'un algorithme d'inversion des contraintes de type lors	herbelin	2008-05-05
*	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin	2005-12-21
*	Passage a un SStream predicatif	herbelin	2003-11-13
*	Parenthèses manquantes pour se conformer à la doc (et au nouveau PeanoSynta...	herbelin	2002-10-21
*	Nouveaux exemples	herbelin	2001-11-21
*	Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)	herbelin	2001-10-03
*	Ces fichiers décrivent des comportements peut-être souhaités mais actuelle...	herbelin	2001-09-19
*	Decomposition de Cases	mohring	2001-04-20
*	entetes	filliatr	2001-03-15
*	Ajout syntaxe zarith	herbelin	2001-03-14
*	Test syntaxe avec motifs numériques	herbelin	2001-02-14
*	Fichier de test pour les Cases	herbelin	2000-12-14