…
..
animatedot.sh
copy-includes.pl
default.nix
dot2pdf.sh
dot2ps.sh
find-includes.pl
find-lhs2tex-includes.sh
lhs2tex.sh
run-latex.sh