| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| data/ | - | 2016-Apr-10 23:54 | |
| external-tools/ | - | 2016-Apr-10 23:54 | |
| LICENSE.md | 65.8 KiB | 2016-Apr-10 23:54 | |
| README.md | 7.2 KiB | 2016-Apr-10 23:54 | |
| VERSION.md | 13 B | 2016-Apr-10 23:54 | |
| config.cfg | 1.0 KiB | 2016-Apr-10 23:54 | |
| dummy.pdf | 870 B | 2016-Apr-10 23:54 | |
| hello_world.tex | 1.7 KiB | 2016-Apr-10 23:54 | |
| minimal.tex | 1.8 KiB | 2016-Apr-10 23:54 | |
| pdbf-doc.html | 2.1 MiB | 2016-Apr-10 23:54 | |
| pdbf-doc.tex | 33.3 KiB | 2016-Apr-10 23:54 | |
| pdbf-src.zip | 14.5 MiB | 2016-Apr-10 23:54 | |
| pdbf.jar | 11.2 MiB | 2016-Apr-10 23:54 | |
| pdbf.sty | 25.3 KiB | 2016-Apr-10 23:54 | |
| somedb.sql | 710 B | 2016-Apr-10 23:54 | |
| vldb-Invaders.ova | 257.0 KiB | 2016-Apr-10 23:54 | |