README.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

# 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.