aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/cases.mli
Commit message (Expand)AuthorAge
* Fix bug 2307Gravatar pboutill2010-05-20
* Some ocamldoc comments + Fixing name of .coqrc.version file in refmanGravatar pboutill2010-05-18
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Promote evar_defs to evar_map (in Evd)Gravatar glondu2009-11-11
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Notation concise pour la valeur par défaut des cas reconnus commeGravatar herbelin2008-05-28
* Mise en place d'un algorithme d'inversion des contraintes de type lorsGravatar herbelin2008-05-05
* - Second pass on implementation of let pattern. Parse "let ' par [as x]?Gravatar msozeau2008-03-28
* Add new LetPattern construct to replace dest. syntax: let| pat := t in b is b...Gravatar msozeau2008-01-17
* Various Program fixes, multiple pattern matches, aliases. Fix bug in coercion...Gravatar msozeau2007-06-09
* - Utilisation d'abbréviations pour les types intervenant dans RCasesGravatar herbelin2006-04-26
* Made pretyping a functor over a coercion implementation. Pretyping.Default us...Gravatar msozeau2006-03-22
* Suppression fonctions d'interprétation du vieux CaseGravatar herbelin2006-01-30
* Gestion des erreurs pour nombre incorrect d'argument des constructeurs (et deGravatar herbelin2006-01-30
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* deuxieme vague de modifs: evar_defs fonctionnelGravatar barras2004-09-07
* Nouvelle en-têteGravatar herbelin2004-07-16
* Suppression de Rawterm.loc, branchement sur Util.locGravatar herbelin2004-07-16
* Deplacement subst_rawconstr dans RawtermGravatar herbelin2003-11-19
* Nouvelle mouture du traducteur v7->v8Gravatar herbelin2003-08-11
* petit nettoyage de kernel/inductiveGravatar barras2002-02-07
* Nettoyage exceptions liées au vieux CaseGravatar herbelin2001-12-18
* Simplification de la propagation du prédicat, bugs, et messages d'erreursGravatar herbelin2001-11-21
* Suppression des local_constraints, des ctxtty et du focus.Gravatar clrenard2001-11-06
* GROS COMMIT:Gravatar barras2001-11-05
* Suppression des arguments sur les constantes, inductifs et constructeursGravatar barras2001-10-09
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* Mise en place d'un test de clauses non utiliseesGravatar herbelin2001-04-13
* entetesGravatar filliatr2001-03-15
* Avancée vers la prise compte des alias dépendants; prise en compte des clau...Gravatar herbelin2001-03-11
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Séparation des contraintes de type et de valeur dans pretypingGravatar herbelin2000-06-29
* Bugs et simplifications coercionsGravatar herbelin2000-06-02
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* Effets de bords suite à la restructuration des inductives (cf Inductive)Gravatar herbelin2000-05-18
* renommage ancien pattern en cases_patternGravatar herbelin2000-04-26
* Un nouveau moteur pour Cases (phase 1)Gravatar herbelin2000-03-08
* Correction pbs liés aux evarGravatar herbelin2000-01-07
* Intégration initiale du CasesGravatar herbelin1999-12-11
* Renommage de multcase en casesGravatar herbelin1999-12-01