Index of /packages/tex/systems/msdos/gtexedit

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]readme.asc1997-04-08 02:00 1.1K 
[   ]spell!.exe1997-04-07 02:00 392K 
[   ]gtex!.exe1997-04-07 02:00 193K 
[   ]greplac!.exe1997-04-07 02:00 18K 
[   ]ginstall.exe1997-04-07 02:00 32K 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443