package info
(click to toggle)
Folder: 22.1201.1601~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 | 4,096 | reasoning |
 |
- | rw-r--r-- | 46 | .gitignore |
|
- | rw-r--r-- | 159 | Dockerfile |
|
- | rw-r--r-- | 1,561 | INSTALL |
|
- | rw-r--r-- | 1,068 | LICENSE |
|
- | rw-r--r-- | 105 | README |
|
- | rw-r--r-- | 127,165 | RELEASE |
|
- | rw-r--r-- | 23 | VERSION |
|
- | rw-r--r-- | 10,635 | eye-builtins.n3 |
|
- | rwxr-xr-x | 79 | eye-ws.sh |
|
- | rwxr-xr-x | 60 | eye.cmd |
|
- | rw-r--r-- | 327,121 | eye.pl |
|
- | rwxr-xr-x | 48 | eye.sh |
|
- | rw-r--r-- | 48 | eye.sh.in |
|
- | rw-r--r-- | 7,592 | index.html |
|
- | rwxr-xr-x | 549 | install.cmd |
|
- | rwxr-xr-x | 682 | install.sh |
|
- | rw-r--r-- | 18,893 | log-rules.n3 |
|
- | rwxr-xr-x | 673 | mkeye |
|
- | rwxr-xr-x | 105 | proofcheck |
|
- | rwxr-xr-x | 62 | test |
|
- | rw-r--r-- | 647 | test-eye-ws.html |