Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
pdf.worker.min.js | 2022-02-24 10:01 | 733K | |
pdf.js | 2022-02-24 09:36 | 355K | |
widgets.js | 2022-07-20 03:01 | 102K | |
tikz.js | 2022-07-20 03:01 | 46K | |
main.js | 2022-07-20 03:01 | 38K | |
layout.js | 2022-07-20 03:01 | 22K | |
pdfjs_license.txt | 2022-07-02 04:45 | 10K | |
server.py | 2022-06-25 03:59 | 7.9K | |
figput.html | 2022-07-21 01:09 | 1.0K | |
release/ | 2022-07-22 03:41 | - | |
development/ | 2022-07-22 03:41 | - | |