| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| change_measurement.j..> | 2026-04-30 22:46 | 4.4K | ||
| line_widget.js.sorry | 2026-04-30 22:46 | 4.7K | ||
| selection.js.sorry | 2026-04-30 22:46 | 5.1K | ||
| document_data.js.sorry | 2026-04-30 22:46 | 6.0K | ||
| chunk.js.sorry | 2026-04-30 22:46 | 7.6K | ||
| selection_updates.js..> | 2026-04-30 22:46 | 9.5K | ||
| history.js.sorry | 2026-04-30 22:46 | 10K | ||
| mark_text.js.sorry | 2026-04-30 22:46 | 13K | ||
| changes.js.sorry | 2026-04-30 22:46 | 14K | ||
| Doc.js.sorry | 2026-04-30 22:46 | 19K | ||