diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-11-22 16:55:44 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-11-22 16:55:44 +0000 |
| commit | cf59b39d44a7a765d51b0a426ad6d71678740195 (patch) | |
| tree | 4d6d5deff049574d40770c15feeef785dd2f5f07 /lib/pp.mli | |
| parent | a96aa78636b5fb4ede593b02b1efa2d3025d65d9 (diff) | |
module Wcclausenv
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@130 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/pp.mli')
| -rw-r--r-- | lib/pp.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/pp.mli b/lib/pp.mli index c4600fcdf..8906616ac 100644 --- a/lib/pp.mli +++ b/lib/pp.mli @@ -51,7 +51,7 @@ val tB : 'a ppcmd_token val cLOSE : 'a ppcmd_token val tCLOSE : 'a ppcmd_token -(*s Pretty-printing functions WITHOUT FLUSH. *) +(*s Pretty-printing functions \emph{without flush}. *) val pP_with : Format.formatter -> std_ppcmds -> unit val pPNL_with : Format.formatter -> std_ppcmds -> unit @@ -59,7 +59,7 @@ val warning_with : Format.formatter -> string -> unit val wARN_with : Format.formatter -> std_ppcmds -> unit val pp_flush_with : Format.formatter -> unit -> unit -(*s Pretty-printing functions WITH FLUSH. *) +(*s Pretty-printing functions \emph{with flush}. *) val mSG_with : Format.formatter -> std_ppcmds -> unit val mSGNL_with : Format.formatter -> std_ppcmds -> unit @@ -68,7 +68,7 @@ val mSGNL_with : Format.formatter -> std_ppcmds -> unit (*s The following functions are instances of the previous ones on [std_ft] and [err_ft]. *) -(*s Pretty-printing functions WITHOUT FLUSH on [stdout] and [stderr]. *) +(*s Pretty-printing functions \emph{without flush} on [stdout] and [stderr]. *) val pP : std_ppcmds -> unit val pPNL : std_ppcmds -> unit @@ -80,7 +80,7 @@ val wARN : std_ppcmds -> unit val pp_flush : unit -> unit val flush_all: unit -> unit -(*s Pretty-printing functions WITH FLUSH on [stdout] and [stderr]. *) +(*s Pretty-printing functions \emph{with flush} on [stdout] and [stderr]. *) val mSG : std_ppcmds -> unit val mSGNL : std_ppcmds -> unit |