index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
/
db
Commit message (
Expand
)
Author
Age
*
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-08
|
\
|
*
Adding debugging printer for Genarg.ArgT.t.
Hugo Herbelin
2016-10-08
*
|
No more dev/printers.cma
Pierre Letouzey
2016-07-26
|
/
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-12-08
|
\
|
*
Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma...
Matej Kosik
2015-12-07
*
|
Better debug printers for module paths.
Maxime Dénès
2015-09-20
|
/
*
More printers for ltac signatures.
Hugo Herbelin
2014-12-16
*
Add printer for transparent state for ocamldebug.
Hugo Herbelin
2014-11-23
*
Specific printer of Evar.Set.t for ocamldebug + more information in
Hugo Herbelin
2014-11-22
*
Adding printers for ppproofview.
Hugo Herbelin
2014-10-13
*
Adding printer for named_context_val and Goal.goal in debugger.
Hugo Herbelin
2014-10-09
*
Adding a printer for hints.
Hugo Herbelin
2014-10-07
*
Debug RAKAM
Pierre Boutillier
2014-08-26
*
Adding a debug printer for futures.
Pierre-Marie Pédrot
2014-04-25
*
Printers for ltac environments.
Hugo Herbelin
2014-04-05
*
A debug printer for Evd.Filter.t
Pierre Boutillier
2014-04-02
*
Updated debugging printers
Hugo Herbelin
2014-04-01
*
app_node, stack, state printers
Pierre Boutillier
2014-02-24
*
'Pretty' printer for wf_paths
Pierre
2014-01-11
*
Adding printing of ltac envs to debugger.
Pierre-Marie Pédrot
2013-11-30
*
Adding genarg printer to debugger.
ppedrot
2013-06-19
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
Finally, pr_goal seems to work for printing v8.2 style goal in debugger.
herbelin
2011-07-16
*
Change of nomenclature: rawconstr -> glob_constr
glondu
2010-12-23
*
Install a printer for fconstr (ppconstr was installed twice)
glondu
2010-10-04
*
Made tclABSTRACT normalize evars before saying it does not support
herbelin
2010-06-29
*
Added debugging printer for the idmap used at evar definition time for
herbelin
2010-06-12
*
ocamldoc related fixes
pboutill
2010-05-03
*
Remove useless ppevd (which is identical to ppevm)
glondu
2009-11-13
*
Fixed bug #2168 (closing a section may have as side-effect the erasure
herbelin
2009-11-11
*
This big commit addresses two problems:
soubiran
2009-10-21
*
Propagating commit 11343 from branch v8.2 to trunk (wish 1934 about
herbelin
2008-09-02
*
ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l...
soubiran
2008-06-06
*
Bugs, nettoyage, et améliorations diverses
herbelin
2008-04-13
*
Ajout de eelim, ecase, edestruct et einduction (expérimental).
herbelin
2007-10-03
*
Export de l'afficheur de substitutions de noms de modules pour le débogueur
herbelin
2007-01-19
*
Standardisation du nom des méthodes de Evd
herbelin
2006-04-28
*
Ajout ppenv
herbelin
2006-01-30
*
Ajout printer Idset.t
herbelin
2006-01-29
*
Restructuration et simplification des fonctions d'affichage, de détypage
herbelin
2006-01-11
*
Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)
herbelin
2006-01-04
*
Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...
herbelin
2005-12-26
*
Ajout constant printer
herbelin
2005-02-18
*
Added bigint printer
herbelin
2005-02-18
*
Réactivation d'un outil d'affichage pour le débogueur compatible avec ocaml...
herbelin
2005-01-02
*
Ajout pptac
herbelin
2003-01-19
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
Suppression des local_constraints, des ctxtty et du focus.
clrenard
2001-11-06
*
Prise en compte qualid
herbelin
2000-11-26
*
Renommage ppterm0 --> ppterm
herbelin
2000-03-07
[next]