| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| _minted/ | 2025-Jul-18 11:14:26 | - | Directory |
| examples/ | 2025-Jul-18 10:46:56 | - | Directory |
| images/ | 2025-Jul-18 10:49:05 | - | Directory |
| runDoc-doc.pdf | 2025-Jul-18 11:13:59 | 245.2K | application/pdf |
| runDoc-doc.tex | 2025-Jul-18 11:13:19 | 5.9K | text/x-tex;charset=utf-8 |