acl2 setup on emacs

You might wanna load the following files in you emacs config for a smoother acl2 experience:

the send-form.lisp (meta-n is the “send-form” key):

the emacs-acl2.el (found within the emacs folder in your acl2 directory). Here’s a link to it in the acl2-repo:

I have the following code in my .emacs.d/init.el file to load these:

;; stop the shell from popping up every time I start emacs
(defvar acl2-skip-shell nil)
(setq acl2-skip-shell t)
;; the main acl2 emacs support
(load "/Users/atharvashukla/Documents/acl2-sources/emacs/emacs-acl2.el") 
;; pete's send-form binding
(load "/Users/atharvashukla/Documents/acl2s/send-form.lisp")