aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/record.mli
Commit message (Expand)AuthorAge
* Moving centralised discharge into dispatched discharge_function; required to ...Gravatar herbelin2005-02-18
* Nouvelle en-têteGravatar herbelin2004-07-16
* meilleure presentation des commentaires du traducteurGravatar barras2004-01-02
* Mise en place possibilité de définitions locales dans les paramètres des r...Gravatar herbelin2003-09-06
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Intgration uniforme de coercions dans les dclarations (Variable and co) et re...Gravatar herbelin2002-06-03
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* Utilisation des de Bruijn pour la constructions des records et de leur projec...Gravatar herbelin2002-05-13
* Suppression des arguments sur les constantes, inductifs et constructeursGravatar barras2001-10-09
* entetesGravatar filliatr2001-03-15
* Mise en place d'un système optionnel de discharge immédiat; prise en compte...Gravatar herbelin2001-02-14
* Prise en compte des noms longs dans les Hints et les Coercions, et réorganis...Gravatar herbelin2001-01-24
* Ajout de constantes locales dans les RecordsGravatar herbelin2001-01-24
* Découpage des différentes fonctionnalités de build_mutual et definition_st...Gravatar herbelin2000-12-19
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Ajout de RecordGravatar herbelin2000-01-11
* - global_reference traite des variablesGravatar filliatr1999-12-03
* Version initialeGravatar herbelin1999-12-02