| tree | 10a00f775f4291df3e805b8e24c3caf54ab118d0 |
| drwxr-xr-x | .. | ||
| drwxr-xr-x | - | cfg | treehistory |
| drwxr-xr-x | - | coma | treehistory |
| drwxr-xr-x | - | microc | treehistory |
| drwxr-xr-x | - | parser | treehistory |
| drwxr-xr-x | - | printer | treehistory |
| drwxr-xr-x | - | python | treehistory |
| drwxr-xr-x | - | strategies | treehistory |
| drwxr-xr-x | - | tptp | treehistory |
| drwxr-xr-x | - | transform | treehistory |