Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .SRCINFO | 691 | logstatsplain |
-rw-r--r-- | .gitignore | 0 | logstatsplain |
-rw-r--r-- | PKGBUILD | 1023 | 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 |