| Name | Size | Mode | Actions |
|---|---|---|---|
| __pycache__/ | - | 0755 | rm |
| Cat.py | 4088 | 0644 | editdlrm |
| cmd.py | 15070 | 0644 | editdlrm |
| Code.py | 1056 | 0644 | editdlrm |
| Descriptor.py | 801 | 0644 | editdlrm |
| etc.py | 1697 | 0644 | editdlrm |
| FSA.py | 7376 | 0644 | editdlrm |
| Glue.py | 13658 | 0644 | editdlrm |
| Help.py | 6873 | 0644 | editdlrm |
| IterPermute.py | 2273 | 0644 | editdlrm |
| KanExtension.py | 21205 | 0644 | editdlrm |
| KnuthBendix.py | 9023 | 0644 | editdlrm |
| RE.py | 24154 | 0644 | editdlrm |
| RE_Rect.py | 10635 | 0644 | editdlrm |
| textView.py | 3146 | 0644 | editdlrm |
| tkcursors.py | 2177 | 0644 | editdlrm |
| xterm.py | 2365 | 0644 | editdlrm |
| __init__.py | 87 | 0644 | editdlrm |