index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
pp.ml
Commit message (
Expand
)
Author
Age
*
Do not compute formatter UTF8 length at creation time.
ppedrot
2013-11-08
*
Some more hand-written comparison functions to avoid polymorphic comparison.
xclerc
2013-10-14
*
Coqide ported to STM
gareuselesinge
2013-08-08
*
Fixing #3042
ppedrot
2013-05-23
*
Fixing Pp.strbrk which was reversing words.
ppedrot
2013-05-16
*
std_ppcmds is persistent, errors can be printed twice
gareuselesinge
2013-05-16
*
Uniformizing the [if_warn] flag used for warning printing and put
ppedrot
2013-05-08
*
Coqide: new feedback mechanism for structured content
gareuselesinge
2013-04-25
*
Restrict (try...with...) to avoid catching critical exn (part 8)
letouzey
2013-03-13
*
Updating the backtrace handling mechanism to accomodate the new
ppedrot
2013-02-18
*
Actually adding backtrace handling.
ppedrot
2013-01-28
*
Removed a unused function in Pp
ppedrot
2012-12-08
*
Monomorphized a lot of equalities over OCaml integers, thanks to
ppedrot
2012-11-08
*
lib/Pp:
regisgia
2012-09-14
*
The new ocaml compiler (4.00) has a lot of very cool warnings,
regisgia
2012-09-14
*
Made Pp.std_ppcmds opaque.
ppedrot
2012-09-13
*
Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5
ppedrot
2012-09-10
*
reparation du make depend et du .depend
letouzey
2001-12-19
*
compat ocaml 3.03
filliatr
2001-12-13
*
entetes
filliatr
2001-03-15
*
Use UTF-8 as default encoding for computing length of strings in pretty
miquel
2000-10-19
*
Initial revision
filliatr
1999-08-16