SET-RAW-MODE-ON_bang_.html -- ACL2 Version 6.3

## SET-RAW-MODE-ON!

enter ``raw mode,'' a raw Lisp environment

    Major Section:  SWITCHES-PARAMETERS-AND-MODES

This is the same as `(``set-raw-mode` `t)` except that it first introduces a so-called ``trust tag'' (``ttag'') so that `set-raw-mode` will be legal. See defttag for a discussion of ttags and how they affect `certify-book` and `include-book`.

See set-raw-mode for a discussion of raw-mode.