| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| change_measurement.j..> | 2026-04-30 20:01 | 4.5K | ||
| line_widget.js.sorry | 2026-04-30 20:01 | 5.1K | ||
| selection.js.sorry | 2026-04-30 20:01 | 5.1K | ||
| document_data.js.sorry | 2026-04-30 20:01 | 6.4K | ||
| chunk.js.sorry | 2026-04-30 20:01 | 7.5K | ||
| selection_updates.js..> | 2026-04-30 20:01 | 10K | ||
| history.js.sorry | 2026-04-30 20:01 | 10K | ||
| mark_text.js.sorry | 2026-04-30 20:01 | 13K | ||
| changes.js.sorry | 2026-04-30 20:01 | 14K | ||
| Doc.js.sorry | 2026-04-30 20:01 | 19K | ||