aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/implicit.v
Commit message (Expand)AuthorAge
* Change Implicit Arguments to Arguments in test-suiteGravatar Jasper Hugunin2018-03-30
* Changed encoding from ISO-8859-1 to UTF-8 for some remaining gallina files.Gravatar ppedrot2012-06-12
* Fixed a Not_found bug when declaring in a section some implicitGravatar herbelin2011-12-18
* Correct handling of existential variables when multiple differentGravatar msozeau2011-02-08
* Fixing bug using explictly declared implicit arguments in inductive arities.Gravatar herbelin2010-12-03
* Export definition of type implicits_list for contribs + fixed aGravatar herbelin2010-10-05
* Fixing bugs in previous commits about implicit arguments:Gravatar herbelin2010-10-04
* Added multiple implicit arguments rules per name.Gravatar herbelin2010-10-03
* Revision 12439 continued, printing part (notations to names behaveGravatar herbelin2009-10-29
* Local/Global revision 12418 continuedGravatar herbelin2009-10-26
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Correction bug calcul des implicites en présence d'evars dans les typesGravatar herbelin2007-05-16
* Extension et réorganisation de l'interprétation des (co-)points fixesGravatar herbelin2006-09-01
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* CorrectionsGravatar herbelin2004-03-12
* Exemple de FredericGravatar herbelin2004-02-28
* Niveau V8Gravatar herbelin2003-11-13
* Fermeture de la section maintenant necessaireGravatar herbelin2003-11-13
* Ajout d'un exemple de ChristineGravatar herbelin2001-12-21
* *** empty log message ***Gravatar herbelin2001-12-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 01:12:35 +0000