• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
      • Io
        • Fmt
        • Msg
        • Cw
          • Fmt-to-comment-window
          • Cw!
          • Fmt-to-comment-window!
          • Fmt-to-comment-window!+
            • Fmt-to-comment-window+
            • Cw!+
            • Cw+
          • Set-evisc-tuple
          • Set-iprint
          • Print-control
          • Read-file-into-string
          • Msgp
          • Std/io
          • Printing-to-strings
          • Evisc-tuple
          • Output-controls
          • Observation
          • *standard-co*
          • Pp-special-syms
          • Standard-oi
          • Standard-co
          • Without-evisc
          • Serialize
          • Output-to-file
          • Fmt-to-comment-window
          • Character-encoding
          • Princ$
          • Open-output-channel!
          • Cw-print-base-radix
          • Set-print-case
          • Set-print-base
          • Print-object$
          • Fmx-cw
          • Print-object$+
          • Set-print-radix
          • Extend-pathname
          • Set-fmt-hard-right-margin
          • Proofs-co
          • File-write-date$
          • Set-print-base-radix
          • Print-base-p
          • *standard-oi*
          • Wof
          • File-length$
          • Fms!-lst
          • *standard-ci*
          • Write-list
          • Fmt!
          • Fms
          • Delete-file$
          • Cw!
          • Fmt-to-comment-window!
          • Fms!
          • Eviscerate-hide-terms
          • Fmt1!
          • Fmt-to-comment-window!+
            • Read-file-into-byte-array-stobj
            • Fmt1
            • Fmt-to-comment-window+
            • Cw-print-base-radix!
            • Read-file-into-character-array-stobj
            • Cw!+
            • Newline
            • Fmx
            • Cw+
            • Read-object-from-file
            • Set-fmt-soft-right-margin
            • Read-objects-from-file
            • Read-file-into-byte-list
            • Read-file-into-character-list
          • Defttag
          • Sys-call
          • Save-exec
          • Quicklisp
          • Oslib
          • Std/io
          • Bridge
          • Clex
          • Tshell
          • Unsound-eval
          • Hacker
          • Startup-banner
          • Command-line
        • Hardware-verification
        • Software-verification
        • Testing-utilities
        • Math
      • Cw
      • Io
      • ACL2-built-ins

      Fmt-to-comment-window!+

      Print readably and uninhibited to the comment window

      See cw for important background.

      This is nearly the same as fmt-to-comment-window, but fmt-to-comment-window!+ always produces readable output (like fmt-to-comment-window!), even when the COMMENT output type is inhibited (like fmt-to-comment-window+).