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