Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Réorganisation autour de globalize_constr | 2000-11-24 | |
* | certains effets disparaissent a la sortie des sections, d'autres non (selon S... | 2000-11-24 | |
* | Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's... | 2000-11-22 | |
* | Prise en compte noms longs | 2000-11-20 | |
* | methode export | 2000-11-15 | |
* | Bugs lies a la confusion load/open et a un open abusivement recursif dans lib... | 2000-11-10 | |
* | Meilleur endroit pour déclarer les parseurs de grammaires et joli affichage | 2000-10-24 | |
* | Import de Infix au Require | 2000-10-23 | |
* | Correction bug affichage des infix | 2000-10-16 | |
* | Restructuration printer et parser | 2000-01-07 | |
* | - états fabriqués avec -silent | 1999-12-13 | |
* | premier debugage | 1999-12-05 | |
* | module Metasyntax | 1999-12-01 |