![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | texsis.fmt | 2023-10-12 12:06 | 560K | |
![]() | pdftexsis.fmt | 2023-10-12 12:06 | 611K | |
![]() | TeXsis-2.18.sea.hqx | 2008-01-22 21:39 | 527K | |
![]() | texsis-2.18.zip | 2008-01-22 21:35 | 359K | |
![]() | texsis-2.18.tar.gz | 2008-01-22 21:35 | 313K | |
![]() | texsis-2.19.tar.gz | 2005-08-02 08:56 | 16K | |