aboutsummaryrefslogtreecommitdiff
path: root/dev/db
AgeCommit message (Expand)Author
2008-09-02Propagating commit 11343 from branch v8.2 to trunk (wish 1934 aboutherbelin
2008-06-06ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l...soubiran
2008-04-13Bugs, nettoyage, et améliorations diversesherbelin
2007-10-03Ajout de eelim, ecase, edestruct et einduction (expérimental).herbelin
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-01-31 14:28:04 +0000