aboutsummaryrefslogtreecommitdiff
path: root/dev/db
AgeCommit message (Expand)Author
2007-01-19Export de l'afficheur de substitutions de noms de modules pour le débogueurherbelin
2006-04-28Standardisation du nom des méthodes de Evdherbelin
2006-01-30Ajout ppenvherbelin
2006-01-29Ajout printer Idset.therbelin
2006-01-11Restructuration et simplification des fonctions d'affichage, de détypageherbelin
2006-01-04Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)herbelin
2005-12-26Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...herbelin
2005-02-18Ajout constant printerherbelin
2005-02-18Added bigint printerherbelin
2005-01-02Réactivation d'un outil d'affichage pour le débogueur compatible avec ocaml...herbelin
2003-01-19Ajout pptacherbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2001-11-06Suppression des local_constraints, des ctxtty et du focus.clrenard
2000-11-26Prise en compte qualidherbelin
2000-03-07Renommage ppterm0 --> pptermherbelin
1999-12-14rattrapage exceptions autres que UserErrorfilliatr
1999-12-14pretty-printers pour le debuggerfilliatr
1999-09-08printers pour le debuggerfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:22:29 +0000