/usr/share/acl2-8.0dfsg/books/tools/in-raw-mode.lisp is in acl2-books-source 8.0dfsg-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 | ; Original author: David Rager <ragerdl@cs.utexas.edu>
(in-package "ACL2")
(defttag in-raw-mode)
(defmacro in-raw-mode (&rest forms)
`(progn! (set-raw-mode t)
,@forms
(set-raw-mode nil)))
|