| Commit message (Expand) | Author | Age |
|---|
| * | Canonisation de certains noms dans Pretyping, Asterm et Safe_typing |  herbelin | 2000-09-06 |
| * | MAJ | herbelin | 2000-07-24 |
| * | Passage à des contextes de vars et de rels pouvant contenir des déclarations | herbelin | 2000-07-24 |
| * | bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo... |  filliatr | 2000-06-21 |
| * | MAJ | herbelin | 2000-06-02 |
| * | Mise en place d'un choix constr/typed_type en remplacement de certains Cast | herbelin | 2000-06-01 |
| * | MAJ modifs Inductive | herbelin | 2000-05-18 |
| * | MAJ | herbelin | 2000-05-05 |
| * | Nettoyage de l'interface de Pfedit | herbelin | 2000-05-04 |
| * | Ajout de PrintConstr pour debug |  delahaye | 2000-05-03 |
| * | renommage de certains printers | herbelin | 2000-05-03 |
| * | MAJ | herbelin | 2000-04-30 |
| * | MAJ | herbelin | 2000-04-28 |
| * | Prise en compte du renommage des fonctions de Astterm | herbelin | 2000-04-17 |
| * | Nettoyage de l'interface d'Astterm; renommage des {pf_,}constr_of_com* en {pf... | herbelin | 2000-03-28 |
| * | bug discharge (work_alist contenanti plein de fois les memes choses) | filliatr | 2000-03-18 |
| * | Correction bug des réduction 'deltat' et renommage 'deltat' en 'evar' | herbelin | 2000-03-17 |
| * | Renommage ppterm0 --> ppterm | herbelin | 2000-03-07 |
| * | mise a jour | filliatr | 2000-01-26 |
| * | gros commit de tout ce que j'ai fait pendant les vacances : | filliatr | 2000-01-21 |
| * | Restructuration printer et parser | herbelin | 2000-01-07 |
| * | Restructuration diverses | herbelin | 2000-01-07 |
| * | Nouveaux types 'constructor' et 'inductive' dans Term; | herbelin | 1999-12-15 |
| * | rattrapage exceptions autres que UserError | filliatr | 1999-12-14 |
| * | pretty-printers pour le debugger | filliatr | 1999-12-14 |
| * | Ajout pp pattern et rawterm | herbelin | 1999-12-12 |
| * | modules et coqc | filliatr | 1999-12-12 |
| * | indications pour les developpeurs | filliatr | 1999-12-10 |
| * | debug reset | filliatr | 1999-12-10 |
| * | premier debugage | filliatr | 1999-12-05 |
| * | renommage pour eviter pbm avec ocamldep (syntax error) | filliatr | 1999-12-03 |
| * | pour debugger dans le toplevel ocaml | filliatr | 1999-12-03 |
| * | Modifs suite à intégration de class.ml | herbelin | 1999-12-02 |
| * | Intégration du Termast et du Retyping de HH, et modifications connexes | herbelin | 1999-12-01 |
| * | module Classops; ajout de fonctions dans Declare en consequence | filliatr | 1999-11-26 |
| * | style utilise dans le code | filliatr | 1999-11-26 |
| * | Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations | filliatr | 1999-11-24 |
| * | modules Indrec, Tacentries, Hiddentac | filliatr | 1999-11-23 |
| * | module Wcclausenv | filliatr | 1999-11-22 |
| * | modules Bij, Gmapl, Stock | filliatr | 1999-11-19 |
| * | discriminations nets | filliatr | 1999-11-19 |
| * | modules Evar_refiner et Typing_ev | filliatr | 1999-10-20 |
| * | module Proof_trees | filliatr | 1999-10-14 |
| * | mise a jour | filliatr | 1999-10-13 |
| * | ajout des constraintes pendant le chargement d'un module (load) | filliatr | 1999-09-27 |
| * | ensembles de contraintes d'univers | filliatr | 1999-09-25 |
| * | - un effort sur la doc (ocamlweb) | filliatr | 1999-09-19 |
| * | module Library | filliatr | 1999-09-18 |
| * | modules System, Lib et States | filliatr | 1999-09-10 |
| * | un wrapper autour de ocamldebug | filliatr | 1999-09-08 |
herbelin
filliatr
delahaye