summaryrefslogtreecommitdiff
blob: d61224e84506ce3e92ee88a2455a8a99619851fb (plain)
1
2
3
4
5
6
(add-to-list 'load-path "@SITELISP@")
(defvar *acl2-sources-dir* "/usr/share/acl2/")
(autoload 'inferior-acl2 "inf-acl2.el"
  "Run an inferior Acl2 process" t)
(autoload 'run-acl2 "inf-acl2.el"
  "Run an inferior Acl2 process" t)