| tree | d71f956aa43d6c8bd29ec5a279c43962e2a614fc |
| 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 |