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
*
STM: encapsulate Pp.message in Feedback.feedback
Carst Tankink
2014-08-04
*
Pp: only one default feedback id
Enrico Tassi
2014-07-29
*
make the standard logging facility stm aware
Enrico Tassi
2014-07-11
*
all coqide specific files moved into ide/
Enrico Tassi
2014-06-25
*
Fix output test-suite 'simpl tactic' -> 'reduction tactics'
Pierre Boutillier
2014-02-28
*
Tracking memory misallocation by trying to improve sharing.
Pierre-Marie Pédrot
2014-02-03
*
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