| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 2 | logplain |
| -rw-r--r-- | COPYING | 35149 | logplain |
| -rw-r--r-- | Changelog | 115 | logplain |
| -rw-r--r-- | README.md | 268 | logplain |
| -rw-r--r-- | ob-acl2.el | 2587 | logplain |
 |
index : ob-acl2.git | |
| emacs の org-babel で ACL2 を使うためのもの | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |