![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| compare-pdfs.sh | 2013-02-14 15:01 | 2.4K | |
| find-missfonts.sh | 2013-02-14 15:01 | 120 | |
| find-tex-errors.sh | 2013-02-14 15:01 | 243 | |
| first-compiler-error.sh | 2013-02-14 15:01 | 302 | |
| install-version.sh | 2013-02-14 15:01 | 1.0K | |
| run-it.py | 2013-02-14 15:01 | 2.1K | |
| versions.d | 2013-02-14 15:01 | 58K | |
| what-logfiles-to-see.sh | 2013-02-14 15:01 | 153 | |
| with-ctxversion.sh | 2013-02-14 15:01 | 436 | |