| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| release/ | - | 2022-Jul-22 18:41 | |
| development/ | - | 2022-Jul-22 18:41 | |
| widgets.js | 104058 | 2022-Jul-20 18:01 | |
| tikz.js | 46665 | 2022-Jul-20 18:01 | |
| server.py | 8085 | 2022-Jun-25 18:59 | |
| pdfjs_license.txt | 10313 | 2022-Jul-02 19:45 | |
| pdf.worker.min.js | 750273 | 2022-Feb-25 02:01 | |
| pdf.js | 363622 | 2022-Feb-25 01:36 | |
| main.js | 39048 | 2022-Jul-20 18:01 | |
| layout.js | 22313 | 2022-Jul-20 18:01 | |
| figput.html | 1063 | 2022-Jul-21 16:09 | |