Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | animatedot.sh | 250 | log plain blame |
-rw-r--r-- | copy-includes.pl | 997 | log plain blame |
-rw-r--r-- | default.nix | 6163 | log plain blame |
-rw-r--r-- | dot2pdf.sh | 418 | log plain blame |
-rw-r--r-- | dot2ps.sh | 375 | log plain blame |
-rw-r--r-- | find-includes.pl | 2204 | log plain blame |
-rw-r--r-- | find-lhs2tex-includes.sh | 107 | log plain blame |
-rw-r--r-- | lhs2tex.sh | 349 | log plain blame |
-rw-r--r-- | run-latex.sh | 3416 | log plain blame |