| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| data/ | - | 10-Apr-2016 23:54 |
| external-tools/ | - | 10-Apr-2016 23:54 |
| LICENSE.md | 66K | 10-Apr-2016 23:54 |
| README.md | 7418 | 10-Apr-2016 23:54 |
| VERSION.md | 13 | 10-Apr-2016 23:54 |
| config.cfg | 1074 | 10-Apr-2016 23:54 |
| dummy.pdf | 870 | 10-Apr-2016 23:54 |
| hello_world.tex | 1782 | 10-Apr-2016 23:54 |
| minimal.tex | 1799 | 10-Apr-2016 23:54 |
| pdbf-doc.html | 2M | 10-Apr-2016 23:54 |
| pdbf-doc.tex | 33K | 10-Apr-2016 23:54 |
| pdbf-src.zip | 15M | 10-Apr-2016 23:54 |
| pdbf.jar | 11M | 10-Apr-2016 23:54 |
| pdbf.sty | 25K | 10-Apr-2016 23:54 |
| somedb.sql | 710 | 10-Apr-2016 23:54 |
| vldb-Invaders.ova | 257K | 10-Apr-2016 23:54 |