package info
(click to toggle)
Folder: ATS2-0.3.2
![]() |
.. (parent) | |||
![]() |
d | rwxr-xr-x | 4,096 | CATS |
![]() |
d | rwxr-xr-x | 4,096 | DATS |
![]() |
d | rwxr-xr-x | 4,096 | SATS |
![]() |
d | rwxr-xr-x | 113 | TEST |
![]() |
d | rwxr-xr-x | 43 | output |
![]() |
- | rw-r--r-- | 3,419 | Makefile |
![]() |
- | rw-r--r-- | 983 | basics_pl.sats |
![]() |
- | rw-r--r-- | 1,320 | staloadall.hats |