coq - The formal proof system

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