aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/univ.mli
Commit message (Expand)AuthorAge
* Suites modifs du noyau. Univ devient purement fonctionnel.Gravatar barras2001-11-12
* GROS COMMIT:Gravatar barras2001-11-05
* Nettoyage des commentairesGravatar herbelin2001-09-20
* Passage aux univers algébriquesGravatar herbelin2001-09-09
* Ajout hashconsing universGravatar herbelin2001-07-03
* Facilites pour le debogguage des univers.Gravatar coq2001-05-29
* amelioration de la structure des universGravatar barras2001-03-28
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Prise en compte du repertoire dans le section path; utilisation de dirpath po...Gravatar herbelin2000-11-28
* MAJ pr_uniGravatar herbelin2000-10-06
* correction bug univers (dummy_univ)Gravatar filliatr2000-10-06
* ensembles de contraintes d'universGravatar filliatr1999-09-25
* modules Libobject et Summary (partiel)Gravatar filliatr1999-09-03
* un petit effort de presentation dans les interfacesGravatar filliatr1999-08-30
* - abstractionGravatar filliatr1999-08-26
* mach et himsg; typage sans extractionGravatar filliatr1999-08-24
* machine: execute = typage avec universGravatar filliatr1999-08-20
* module Reduction (fin)Gravatar filliatr1999-08-18
* module Reduction (debut)Gravatar filliatr1999-08-18
* generic, term et evdGravatar filliatr1999-08-17