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