Filtering...

in-raw-mode

books/tools/in-raw-mode
other
(in-package "ACL2")
other
(defttag in-raw-mode)
in-raw-modemacro
(defmacro in-raw-mode
  (&rest forms)
  `(progn! (set-raw-mode t) ,@FORMS (set-raw-mode nil)))