aboutsummaryrefslogtreecommitdiffhomepage
path: root/interp/constrextern.mli
Commit message (Expand)AuthorAge
...
* Factorisation des types dans l'affichage des paramètres des (Co)Inductif/RecordGravatar herbelin2007-06-30
* Multiples changements autour des implicites :Gravatar herbelin2007-04-29
* Allègement de l'affichage des références par le printer si possibleGravatar herbelin2007-01-22
* Ajout d'une option de débogage pour expliciter l'instance des evarsGravatar herbelin2007-01-11
* Variable print_instances pour déboguer les instances d'evarGravatar herbelin2006-12-12
* Ajout de pr_sort, extern_sort, detype_sort et renommage pr_sort en pr_rawsortGravatar herbelin2006-05-19
* Restructuration et simplification des fonctions d'affichage, de détypageGravatar herbelin2006-01-11
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...Gravatar herbelin2005-01-02
* Mecanisme d'affichage des types (notamment les conclusions des buts) typiquem...Gravatar herbelin2004-12-22
* Abstraction vis à vis du type loc pour compatibilité ocaml 3.08Gravatar herbelin2004-07-16
* Nouvelle en-têteGravatar herbelin2004-07-16
* Debranchement de l'affichage systematique des projections avec la notation po...Gravatar herbelin2003-10-16
* Scope type pour le codomaine de Prod aussi; ajout extern_rawtypeGravatar herbelin2003-09-12
* Traducteur de correctnessGravatar herbelin2003-08-14
* Nouvelle mouture du traducteur v7->v8Gravatar herbelin2003-08-11
* Amélioration afficheur de Cases pour les constr_patternGravatar herbelin2003-06-10
* Mécanisme plus simple et efficace pour traduire les implicitesGravatar herbelin2003-04-09
* *** empty log message ***Gravatar barras2003-03-12
* Problèmes et améliorations divers affichageGravatar herbelin2002-12-09
* Re-déplacement du résultat de Grammar au niveau constr_exprGravatar herbelin2002-12-02
* Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...Gravatar herbelin2002-11-24
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14