aboutsummaryrefslogtreecommitdiff
path: root/lib/pp.ml
AgeCommit message (Expand)Author
2014-08-04STM: encapsulate Pp.message in Feedback.feedbackCarst Tankink
2014-07-29Pp: only one default feedback idEnrico Tassi
2014-07-11make the standard logging facility stm awareEnrico Tassi
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-02-28Fix output test-suite 'simpl tactic' -> 'reduction tactics'Pierre Boutillier
2014-02-03Tracking memory misallocation by trying to improve sharing.Pierre-Marie Pédrot
2013-11-08Do not compute formatter UTF8 length at creation time.ppedrot
2013-10-14Some more hand-written comparison functions to avoid polymorphic comparison.xclerc
2013-08-08Coqide ported to STMgareuselesinge
2013-05-23Fixing #3042ppedrot
2013-05-16Fixing Pp.strbrk which was reversing words.ppedrot
2013-05-16std_ppcmds is persistent, errors can be printed twicegareuselesinge
2013-05-08Uniformizing the [if_warn] flag used for warning printing and putppedrot
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 8)letouzey
2013-02-18Updating the backtrace handling mechanism to accomodate the newppedrot
2013-01-28Actually adding backtrace handling.ppedrot
2012-12-08Removed a unused function in Ppppedrot
2012-11-08Monomorphized a lot of equalities over OCaml integers, thanks toppedrot
2012-09-14lib/Pp:regisgia
2012-09-14The new ocaml compiler (4.00) has a lot of very cool warnings,regisgia
2012-09-13Made Pp.std_ppcmds opaque.ppedrot
2012-09-10Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5ppedrot
2001-12-19reparation du make depend et du .dependletouzey
2001-12-13compat ocaml 3.03filliatr
2001-03-15entetesfilliatr
2000-10-19Use UTF-8 as default encoding for computing length of strings in prettymiquel
1999-08-16Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 04:19:52 +0000