| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| development/ | 2022-Jul-22 09:41:50 | - | Directory |
| release/ | 2022-Jul-22 09:41:50 | - | Directory |
| figput.html | 2022-Jul-21 07:09:30 | 1.0K | text/html |
| layout.js | 2022-Jul-20 09:01:02 | 21.8K | text/javascript |
| main.js | 2022-Jul-20 09:01:02 | 38.1K | text/javascript |
| pdf.js | 2022-Feb-24 16:36:36 | 355.1K | text/javascript |
| pdf.worker.min.js | 2022-Feb-24 17:01:36 | 732.7K | text/javascript |
| pdfjs_license.txt | 2022-Jul-02 10:45:14 | 10.0K | text/plain;charset=utf-8 |
| server.py | 2022-Jun-25 09:59:28 | 7.9K | text/x-python;charset=utf-8 |
| tikz.js | 2022-Jul-20 09:01:02 | 45.5K | text/javascript |
| widgets.js | 2022-Jul-20 09:01:02 | 101.6K | text/javascript |