package info
(click to toggle)
Folder: 1:10.30.11~ds-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 109 | documentation |
|
d | rwxr-xr-x | 4,096 | reasoning |
 |
- | rw-r--r-- | 46 | .gitignore |
|
- | rw-r--r-- | 159 | Dockerfile |
|
- | rw-r--r-- | 1,542 | INSTALL |
|
- | rw-r--r-- | 1,116 | LICENSE |
|
- | rw-r--r-- | 4,725 | README.md |
|
- | rw-r--r-- | 177,396 | RELEASE |
|
- | rw-r--r-- | 9 | VERSION |
|
- | rw-r--r-- | 11,614 | eye-builtins.n3 |
|
- | rwxr-xr-x | 60 | eye.cmd |
|
- | rw-r--r-- | 377,758 | eye.pl |
|
- | rwxr-xr-x | 48 | eye.sh |
|
- | rw-r--r-- | 48 | eye.sh.in |
|
- | rw-r--r-- | 8,790 | index.html |
|
- | rwxr-xr-x | 549 | install.cmd |
|
- | rwxr-xr-x | 690 | install.sh |
|
- | rw-r--r-- | 18,893 | log-rules.n3 |
|
- | rwxr-xr-x | 1,855 | mkeye |
|
- | rwxr-xr-x | 105 | proofcheck |
|
- | rwxr-xr-x | 93 | test |