aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/db
Commit message (Expand)AuthorAge
* Adding a debugging printer for ident maps whose codomain type is unknown.Gravatar Hugo Herbelin2017-11-08
* Adding debug printers related to universes in the default debugger source file.Gravatar Pierre-Marie Pédrot2017-07-14
* Introducing a new EConstr.t type to perform the nf_evar operation on demand.Gravatar Pierre-Marie Pédrot2016-11-08
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-08
|\
| * Adding debugging printer for Genarg.ArgT.t.Gravatar Hugo Herbelin2016-10-08
* | No more dev/printers.cmaGravatar Pierre Letouzey2016-07-26
|/
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-12-08
|\
| * Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma...Gravatar Matej Kosik2015-12-07
* | Better debug printers for module paths.Gravatar Maxime Dénès2015-09-20
|/
* More printers for ltac signatures.Gravatar Hugo Herbelin2014-12-16
* Add printer for transparent state for ocamldebug.Gravatar Hugo Herbelin2014-11-23
* Specific printer of Evar.Set.t for ocamldebug + more information inGravatar Hugo Herbelin2014-11-22
* 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