Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .SRCINFO | 1388 | logstatsplain |
-rw-r--r-- | .gitignore | 45 | logstatsplain |
-rw-r--r-- | PKGBUILD | 1751 | logstatsplain |
-rwxr-xr-x | pcal | 59 | logstatsplain |
-rwxr-xr-x | tla-tools | 96 | logstatsplain |
-rwxr-xr-x | tla2sany | 62 | logstatsplain |
-rwxr-xr-x | tla2tex | 60 | logstatsplain |
-rwxr-xr-x | tlc | 113 | logstatsplain |
-rwxr-xr-x | tlc-colour | 452 | logstatsplain |
-rwxr-xr-x | tlc-dist-fp | 90 | logstatsplain |
-rwxr-xr-x | tlc-dist-server | 80 | logstatsplain |
-rwxr-xr-x | tlc-dist-worker | 80 | logstatsplain |
-rwxr-xr-x | tlc-dist-workerfp | 91 | logstatsplain |