| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| development/ | - | 22-Jul-2022 09:41 |
| release/ | - | 22-Jul-2022 09:41 |
| figput.html | 1063 | 21-Jul-2022 07:09 |
| layout.js | 22K | 20-Jul-2022 09:01 |
| main.js | 38K | 20-Jul-2022 09:01 |
| pdf.js | 355K | 24-Feb-2022 16:36 |
| pdf.worker.min.js | 733K | 24-Feb-2022 17:01 |
| pdfjs_license.txt | 10K | 02-Jul-2022 10:45 |
| server.py | 8085 | 25-Jun-2022 09:59 |
| tikz.js | 46K | 20-Jul-2022 09:01 |
| widgets.js | 102K | 20-Jul-2022 09:01 |