| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| data/ | - | 2016-Apr-11 08:54 | |
| external-tools/ | - | 2016-Apr-11 08:54 | |
| LICENSE.md | 67330 | 2016-Apr-11 08:54 | |
| README.md | 7418 | 2016-Apr-11 08:54 | |
| VERSION.md | 13 | 2016-Apr-11 08:54 | |
| config.cfg | 1074 | 2016-Apr-11 08:54 | |
| dummy.pdf | 870 | 2016-Apr-11 08:54 | |
| hello_world.tex | 1782 | 2016-Apr-11 08:54 | |
| minimal.tex | 1799 | 2016-Apr-11 08:54 | |
| pdbf-doc.html | 2188081 | 2016-Apr-11 08:54 | |
| pdbf-doc.tex | 34149 | 2016-Apr-11 08:54 | |
| pdbf-src.zip | 15219524 | 2016-Apr-11 08:54 | |
| pdbf.jar | 11755174 | 2016-Apr-11 08:54 | |
| pdbf.sty | 25928 | 2016-Apr-11 08:54 | |
| somedb.sql | 710 | 2016-Apr-11 08:54 | |
| vldb-Invaders.ova | 263168 | 2016-Apr-11 08:54 | |