Commit message (Expand) | Author | Age | |
---|---|---|---|
* | compat ocaml 3.03 | 2001-12-13 | |
* | Suites modifs du noyau. Univ devient purement fonctionnel. | 2001-11-12 | |
* | GROS COMMIT: | 2001-11-05 | |
* | Abstraction de l'immplementation de dirpath et implementation dans l'autre se... | 2001-10-17 | |
* | Passage aux univers algébriques | 2001-09-09 | |
* | Parsing | 2001-08-10 | |
* | Ajout hashconsing univers | 2001-07-03 | |
* | Facilites pour le debogguage des univers. | 2001-05-29 | |
* | Changement de la structure des points fixes | 2001-05-03 | |
* | amelioration de la structure des univers | 2001-03-28 | |
* | entetes | 2001-03-15 | |
* | Prise en compte du repertoire dans le section path; utilisation de dirpath po... | 2000-11-28 | |
* | Correction incompatibilites dans la fn des types des inductifs | 2000-10-06 | |
* | correction bug univers (dummy_univ) | 2000-10-06 | |
* | ensembles de contraintes d'univers | 1999-09-25 | |
* | - abstraction | 1999-08-26 |