ob-acl2

THIS CODE IS VERY DANGEROUS. It automatically executes an ACL2 program on the *shell* buffer.

Org-babel functions for ACL2.

Usage

First, Run ACL2 in *shell* buffer of Emacs.

$ acl2

Second, use org-babel.

LICENSE

See COPYING file.