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

• Cw
• Io
• ACL2-built-ins

Cw!

Print readably to the comment window

See cw for important background.

This is nearly the same as cw, but cw! avoids inserting backslash (\) characters when forced to print past the right margin. Use cw! if you want to be able to read the forms back in.