| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| VERSION | 2025-07-30 12:28 | 6 | ||
| configuration.ini | 2025-07-30 12:28 | 2.2K | ||
| core/ | 2025-08-18 12:18 | - | ||
| integration/ | 2025-08-18 12:19 | - | ||
| lang/ | 2025-08-18 12:19 | - | ||
| latex.html | 2025-07-30 12:28 | 874 | ||
| plugin.js | 2025-07-30 12:28 | 13K | ||