aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/db
Commit message (Expand)AuthorAge
* Ajout de eelim, ecase, edestruct et einduction (expérimental).Gravatar herbelin2007-10-03
* Export de l'afficheur de substitutions de noms de modules pour le débogueurGravatar herbelin2007-01-19
* Standardisation du nom des méthodes de EvdGravatar herbelin2006-04-28
* Ajout ppenvGravatar herbelin2006-01-30
* Ajout printer Idset.tGravatar herbelin2006-01-29
* Restructuration et simplification des fonctions d'affichage, de détypageGravatar herbelin2006-01-11
* Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)Gravatar herbelin2006-01-04
* Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...Gravatar herbelin2005-12-26
* Ajout constant printerGravatar herbelin2005-02-18
* Added bigint printerGravatar herbelin2005-02-18
* Réactivation d'un outil d'affichage pour le débogueur compatible avec ocaml...Gravatar herbelin2005-01-02
* Ajout pptacGravatar herbelin2003-01-19
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Suppression des local_constraints, des ctxtty et du focus.Gravatar clrenard2001-11-06
* Prise en compte qualidGravatar herbelin2000-11-26
* Renommage ppterm0 --> pptermGravatar herbelin2000-03-07
* rattrapage exceptions autres que UserErrorGravatar filliatr1999-12-14
* pretty-printers pour le debuggerGravatar filliatr1999-12-14
* printers pour le debuggerGravatar filliatr1999-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-26 22:55:47 +0000