File Name ↓ | File Size ↓ | Date ↓ | |
---|---|---|---|
Parent directory/ | - | - | |
release/ | - | 2022-Jul-22 09:41 | |
development/ | - | 2022-Jul-22 09:41 | |
figput.html | 1.0 KiB | 2022-Jul-21 07:09 | |
server.py | 7.9 KiB | 2022-Jun-25 09:59 | |
pdfjs_license.txt | 10.1 KiB | 2022-Jul-02 10:45 | |
layout.js | 21.8 KiB | 2022-Jul-20 09:01 | |
main.js | 38.1 KiB | 2022-Jul-20 09:01 | |
tikz.js | 45.6 KiB | 2022-Jul-20 09:01 | |
widgets.js | 101.6 KiB | 2022-Jul-20 09:01 | |
pdf.js | 355.1 KiB | 2022-Feb-24 16:36 | |
pdf.worker.min.js | 732.7 KiB | 2022-Feb-24 17:01 |