| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| ChangeLog | 3790 | 20-Oct-2022 06:03 |
| docstrip.man | 16K | 20-Oct-2022 06:03 |
| docstrip.tcl | 5201 | 20-Oct-2022 06:03 |
| docstrip.test | 6211 | 20-Oct-2022 06:03 |
| docstrip_util.man | 26K | 20-Oct-2022 06:03 |
| docstrip_util.tcl | 21K | 20-Oct-2022 06:03 |
| docstrip_util.test | 2367 | 20-Oct-2022 06:03 |
| pkgIndex.tcl | 669 | 20-Oct-2022 06:03 |
| tcldocstrip.dtx | 150K | 20-Oct-2022 06:03 |
| tcldocstrip.ins | 1389 | 20-Oct-2022 06:03 |
| tcldocstrip.stitch | 860 | 20-Oct-2022 06:03 |