index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
printing
/
prettyp.ml
Commit message (
Expand
)
Author
Age
*
Now printing body of abbreviations (i.e. notation with a name) with
herbelin
2013-05-05
*
Revised infrastructure for lazy loading of opaque proofs
letouzey
2013-04-02
*
Restrict (try...with...) to avoid catching critical exn (part 5)
letouzey
2013-03-13
*
More monomorphization.
ppedrot
2013-03-05
*
kernel/declarations becomes a pure mli
letouzey
2013-02-26
*
Dir_path --> DirPath
letouzey
2013-02-19
*
Minor code cleanups, especially take advantage of Dir_path.is_empty
letouzey
2013-02-18
*
Modulification of dir_path
ppedrot
2012-12-14
*
Modulification of identifier
ppedrot
2012-12-14
*
Print univ constraints generated by a constant or inductive (when flag is set)
barras
2012-11-21
*
Added a CString module.
ppedrot
2012-11-13
*
Moving Utils.list_* to a proper CList module, which includes stdlib
ppedrot
2012-09-14
*
This patch removes unused "open" (automatically generated from
regisgia
2012-09-14
*
Updating headers.
herbelin
2012-08-08
*
Fixing test-suite
pboutill
2012-07-20
*
Added an indirection with respect to Loc in Compat. As many [open Compat]
ppedrot
2012-06-22
*
Fixing test-suite after last storm in Pp.
pboutill
2012-06-12
*
place all pretty-printing files in new dir printing/
letouzey
2012-05-29