aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2000-03-07Renommage ppterm0 --> pptermherbelin
2000-01-26mise a jourfilliatr
2000-01-21gros commit de tout ce que j'ai fait pendant les vacances :filliatr
2000-01-07Restructuration printer et parserherbelin
2000-01-07Restructuration diversesherbelin
1999-12-15Nouveaux types 'constructor' et 'inductive' dans Term;herbelin
1999-12-14rattrapage exceptions autres que UserErrorfilliatr
1999-12-14pretty-printers pour le debuggerfilliatr
1999-12-12Ajout pp pattern et rawtermherbelin
1999-12-12modules et coqcfilliatr
1999-12-10indications pour les developpeursfilliatr
1999-12-10debug resetfilliatr
1999-12-05premier debugagefilliatr
1999-12-03renommage pour eviter pbm avec ocamldep (syntax error)filliatr
1999-12-03pour debugger dans le toplevel ocamlfilliatr
1999-12-02Modifs suite à intégration de class.mlherbelin
1999-12-01Intégration du Termast et du Retyping de HH, et modifications connexesherbelin
1999-11-26module Classops; ajout de fonctions dans Declare en consequencefilliatr
1999-11-26style utilise dans le codefilliatr
1999-11-24Auto,Dhyp,Elim / Reduction de Evar / declarations eliminationsfilliatr
1999-11-23modules Indrec, Tacentries, Hiddentacfilliatr
1999-11-22module Wcclausenvfilliatr
1999-11-19modules Bij, Gmapl, Stockfilliatr
1999-11-19discriminations netsfilliatr
1999-10-20modules Evar_refiner et Typing_evfilliatr
1999-10-14module Proof_treesfilliatr
1999-10-13mise a jourfilliatr
1999-09-27ajout des constraintes pendant le chargement d'un module (load)filliatr
1999-09-25ensembles de contraintes d'universfilliatr
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
1999-09-18module Libraryfilliatr
1999-09-10modules System, Lib et Statesfilliatr
1999-09-08un wrapper autour de ocamldebugfilliatr
1999-09-08printers pour le debuggerfilliatr
1999-09-08le bien nomme'filliatr
1999-09-08changements dans les grammairesfilliatr
1999-08-26environnement surfilliatr
1999-08-26le noyau compile et linkfilliatr
1999-08-24mach et himsg; typage sans extractionfilliatr
1999-08-20machine: execute = typage avec universfilliatr
1999-08-18module Reduction (debut)filliatr
1999-08-17module Closurefilliatr
1999-08-17ajout de modulesfilliatr
1999-08-16liste des changementsfilliatr
1999-08-16Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 22:01:58 +0000