• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Debugging
    • Projects
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
      • Io
      • Defttag
        • Set-raw-mode
        • Include-raw
        • Remove-untouchable
        • Push-untouchable
        • Set-deferred-ttag-notes
        • Untouchable
        • Set-raw-mode-on!
          • Set-raw-mode-on
        • 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
    • Defttag

    Set-raw-mode-on!

    Enter ``raw mode,'' a raw Lisp environment (adds trust tag)

    This is equivalent to (set-raw-mode t) except that it first introduces the required trust tag; see defttag. See set-raw-mode for a discussion of raw-mode.