Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | MAJ delimiters et niveaux d'associativite | 2002-11-25 | ||
* | Réforme de l'interprétation des termes : | 2002-11-14 | ||
* | Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;... | 2002-10-22 | ||
* | Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha... | 2002-10-13 | ||
* | Modules dans COQ\!\!\!\! | 2002-08-02 | ||
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | 2002-05-29 | ||
* | entetes | 2001-03-15 | ||
* | protection contre certaines exceptions levees par marshal_{in,out} | 2001-03-09 | ||
* | Déplacement de qualid dans Nametab, hors du noyau | 2001-03-01 | ||
* | syntaxe AST Inversion + commentaires ocamlweb autour de $ | 2000-12-12 | ||
* | Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's... | 2000-11-22 | ||
* | Prise en compte noms longs | 2000-11-20 | ||
* | module Metasyntax | 1999-12-01 |