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