| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .SRCINFO | 870 | logstatsplain |
| -rw-r--r-- | .gitignore | 0 | logstatsplain |
| -rw-r--r-- | PKGBUILD | 1226 | logstatsplain |
| -rw-r--r-- | pcal2tla | 66 | logstatsplain |
| -rw-r--r-- | sany | 69 | logstatsplain |
| -rwxr-xr-x | tla2tex | 67 | logstatsplain |
| -rw-r--r-- | tlc | 64 | logstatsplain |