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