| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| ChangeLog | 3.7 KiB | 2022-Oct-20 15:03 |
| docstrip.man | 15.7 KiB | 2022-Oct-20 15:03 |
| docstrip.tcl | 5.1 KiB | 2022-Oct-20 15:03 |
| docstrip.test | 6.1 KiB | 2022-Oct-20 15:03 |
| docstrip_util.man | 25.6 KiB | 2022-Oct-20 15:03 |
| docstrip_util.tcl | 21.0 KiB | 2022-Oct-20 15:03 |
| docstrip_util.test | 2.3 KiB | 2022-Oct-20 15:03 |
| pkgIndex.tcl | 669 B | 2022-Oct-20 15:03 |
| tcldocstrip.dtx | 150.5 KiB | 2022-Oct-20 15:03 |
| tcldocstrip.ins | 1.4 KiB | 2022-Oct-20 15:03 |
| tcldocstrip.stitch | 860 B | 2022-Oct-20 15:03 |