ACL2 Setup on Emacs

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

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")