aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/top_printers.ml
Commit message (Expand)AuthorAge
* module Explore générique et réécriture EAuto avec ce module; occur check ...Gravatar filliatr2001-03-05
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* nouvelle implantation de la reductionGravatar barras2001-03-01
* PrinterGravatar mohring2000-12-15
* Bug sur commit précédentGravatar herbelin2000-12-14
* Enfin trouvé la cause d'exception; suppression de la capsule de rattrapageGravatar herbelin2000-12-14
* Prise en compte qualidGravatar herbelin2000-11-26
* Gros hack pour afficher les universGravatar herbelin2000-11-11
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* MAJGravatar herbelin2000-10-23
* MAJGravatar herbelin2000-10-18
* MAJ pr_uniGravatar herbelin2000-10-06
* Renommage AppL en AppGravatar herbelin2000-10-01
* MAJGravatar herbelin2000-10-01
* MAJGravatar herbelin2000-09-14
* MAJGravatar herbelin2000-09-12
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* Passage à des contextes de vars et de rels pouvant contenir des déclarationsGravatar herbelin2000-07-24
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* MAJ modifs InductiveGravatar herbelin2000-05-18
* Ajout de PrintConstr pour debugGravatar delahaye2000-05-03
* renommage de certains printersGravatar herbelin2000-05-03
* Restructuration printer et parserGravatar herbelin2000-01-07
* pretty-printers pour le debuggerGravatar filliatr1999-12-14
* Ajout pp pattern et rawtermGravatar herbelin1999-12-12
* pour debugger dans le toplevel ocamlGravatar filliatr1999-12-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 10:46:42 +0000