| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| ot1patch.dtx | 2017-05-05 16:48 | 9.1K | ||
| ot1patch.ins | 2007-08-15 18:39 | 131 | ||
| plfonts.fdd | 2008-03-10 17:58 | 17K | ||
| plprefix.dtx | 2017-05-05 16:48 | 15K | ||
| plprefix.ins | 2007-08-15 18:39 | 141 | ||
| polski.dtx | 2017-05-05 16:48 | 53K | ||
| polski.ins | 2017-05-05 16:48 | 7.2K | ||
| strony.dtx | 2007-12-22 18:10 | 17K | ||