Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Prise en compte des corps de letin dans les hypothèses | 2002-03-01 | |
* | convert_hyp a change de type | 2002-03-01 | |
* | compat ocaml 3.03 | 2001-12-13 | |
* | GROS COMMIT: | 2001-11-05 | |
* | Abstraction de l'immplementation de dirpath et implementation dans l'autre se... | 2001-10-17 | |
* | Déplacement de global_reference dans Names pour pouvoir lier Nametab à gra... | 2001-10-12 | |
* | Suppression des arguments sur les constantes, inductifs et constructeurs | 2001-10-09 | |
* | Romega | 2001-09-20 | |
* | MAJ V7.1 | 2001-09-19 | |
* | reparation Zne | 2001-09-19 | |
* | Romega/names/Makefile | 2001-09-18 |