aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
...
* MAJGravatar herbelin2000-05-05
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* Ajout de PrintConstr pour debugGravatar delahaye2000-05-03
* renommage de certains printersGravatar herbelin2000-05-03
* MAJGravatar herbelin2000-04-30
* MAJGravatar herbelin2000-04-28
* Prise en compte du renommage des fonctions de AsttermGravatar herbelin2000-04-17
* Nettoyage de l'interface d'Astterm; renommage des {pf_,}constr_of_com* en {pf...Gravatar herbelin2000-03-28
* bug discharge (work_alist contenanti plein de fois les memes choses)Gravatar filliatr2000-03-18
* Correction bug des réduction 'deltat' et renommage 'deltat' en 'evar'Gravatar herbelin2000-03-17
* Renommage ppterm0 --> pptermGravatar herbelin2000-03-07
* mise a jourGravatar filliatr2000-01-26
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* Restructuration printer et parserGravatar herbelin2000-01-07
* Restructuration diversesGravatar herbelin2000-01-07
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* rattrapage exceptions autres que UserErrorGravatar filliatr1999-12-14
* pretty-printers pour le debuggerGravatar filliatr1999-12-14
* Ajout pp pattern et rawtermGravatar herbelin1999-12-12
* modules et coqcGravatar filliatr1999-12-12
* indications pour les developpeursGravatar filliatr1999-12-10
* debug resetGravatar filliatr1999-12-10
* premier debugageGravatar filliatr1999-12-05
* renommage pour eviter pbm avec ocamldep (syntax error)Gravatar filliatr1999-12-03
* pour debugger dans le toplevel ocamlGravatar filliatr1999-12-03
* Modifs suite à intégration de class.mlGravatar herbelin1999-12-02
* Intégration du Termast et du Retyping de HH, et modifications connexesGravatar herbelin1999-12-01
* module Classops; ajout de fonctions dans Declare en consequenceGravatar filliatr1999-11-26
* style utilise dans le codeGravatar filliatr1999-11-26
* Auto,Dhyp,Elim / Reduction de Evar / declarations eliminationsGravatar filliatr1999-11-24
* modules Indrec, Tacentries, HiddentacGravatar filliatr1999-11-23
* module WcclausenvGravatar filliatr1999-11-22
* modules Bij, Gmapl, StockGravatar filliatr1999-11-19
* discriminations netsGravatar filliatr1999-11-19
* modules Evar_refiner et Typing_evGravatar filliatr1999-10-20
* module Proof_treesGravatar filliatr1999-10-14
* mise a jourGravatar filliatr1999-10-13
* ajout des constraintes pendant le chargement d'un module (load)Gravatar filliatr1999-09-27
* ensembles de contraintes d'universGravatar filliatr1999-09-25
* - un effort sur la doc (ocamlweb)Gravatar filliatr1999-09-19
* module LibraryGravatar filliatr1999-09-18
* modules System, Lib et StatesGravatar filliatr1999-09-10
* un wrapper autour de ocamldebugGravatar filliatr1999-09-08
* printers pour le debuggerGravatar filliatr1999-09-08
* le bien nomme'Gravatar filliatr1999-09-08
* changements dans les grammairesGravatar filliatr1999-09-08
* environnement surGravatar filliatr1999-08-26
* le noyau compile et linkGravatar filliatr1999-08-26
* mach et himsg; typage sans extractionGravatar filliatr1999-08-24
* machine: execute = typage avec universGravatar filliatr1999-08-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 05:02:37 +0000