/usr/share/emacs/site-lisp/acl2/load-shell-acl2.el is in acl2-emacs 6.5-2.
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 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 | ;; Load the emacs interface for acl2 when it is running in a
;; shell buffer in shell-mode.
;; May 13 94 Kaufmann & MKSmith
;; ASSUMPTION: load path contains the directory this file resides in.
(defvar *acl2-user-map-interface*
'((prooftree-mode-map keys)))
(require 'key-interface)
;; (defvar *selected-mode-map*)
(defvar inferior-acl2-buffer)
(defun initialize-mfm-buffer-variables ()
(setq *mfm-buffer* "*shell*")
;; (setq *selected-mode-map* shell-mode-map)
(setq inferior-acl2-buffer *mfm-buffer*))
(defvar shell-mode-hook nil)
(setq shell-mode-hook
(extend-hook shell-mode-hook 'initialize-mfm-buffer-variables))
(defun start-shell-acl2 ()
(interactive)
(require 'shell)
;; Looks redundant.
;;(setq shell-mode-hook
;;(extend-hook 'initialize-mfm-buffer-variables shell-mode-hook))
(shell))
|