aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/db
Commit message (Expand)AuthorAge
* Adding printers for ppproofview.Gravatar Hugo Herbelin2014-10-13
* Adding printer for named_context_val and Goal.goal in debugger.Gravatar Hugo Herbelin2014-10-09
* Adding a printer for hints.Gravatar Hugo Herbelin2014-10-07
* Debug RAKAMGravatar Pierre Boutillier2014-08-26
* Adding a debug printer for futures.Gravatar Pierre-Marie Pédrot2014-04-25
* Printers for ltac environments.Gravatar Hugo Herbelin2014-04-05
* A debug printer for Evd.Filter.tGravatar Pierre Boutillier2014-04-02
* Updated debugging printersGravatar Hugo Herbelin2014-04-01
* app_node, stack, state printersGravatar Pierre Boutillier2014-02-24
* 'Pretty' printer for wf_pathsGravatar Pierre2014-01-11
* Adding printing of ltac envs to debugger.Gravatar Pierre-Marie Pédrot2013-11-30
* Adding genarg printer to debugger.Gravatar ppedrot2013-06-19
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Finally, pr_goal seems to work for printing v8.2 style goal in debugger.Gravatar herbelin2011-07-16
* Change of nomenclature: rawconstr -> glob_constrGravatar glondu2010-12-23
* Install a printer for fconstr (ppconstr was installed twice)Gravatar glondu2010-10-04
* Made tclABSTRACT normalize evars before saying it does not supportGravatar herbelin2010-06-29
* Added debugging printer for the idmap used at evar definition time forGravatar herbelin2010-06-12
* ocamldoc related fixesGravatar pboutill2010-05-03
* Remove useless ppevd (which is identical to ppevm)Gravatar glondu2009-11-13
* Fixed bug #2168 (closing a section may have as side-effect the erasureGravatar herbelin2009-11-11
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Propagating commit 11343 from branch v8.2 to trunk (wish 1934 aboutGravatar herbelin2008-09-02
* ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l...Gravatar soubiran2008-06-06
* Bugs, nettoyage, et améliorations diversesGravatar herbelin2008-04-13
* 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-12-14 04:19:51 +0000