![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/default.png){kind=icon} | iso2tex | 1995-04-16 02:00 | 522 |
| isototex_subst | 1995-04-16 02:00 | 801 |
| tex2iso | 1995-04-16 02:00 | 1.0K |
| textoiso_subst | 1995-04-16 02:00 | 747 |
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| iso2tex | 1995-04-16 02:00 | 522 |
| isototex_subst | 1995-04-16 02:00 | 801 |
| tex2iso | 1995-04-16 02:00 | 1.0K |
| textoiso_subst | 1995-04-16 02:00 | 747 |