Index of /packages/tex/systems/msdos/lalaunch

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lalaunch.cfg1996-01-03 01:00 5.1K 
[TXT]readme.txt1996-01-03 01:00 20K 
[   ]vbrun300.dll1996-01-03 01:00 389K 
[   ]lalaunch.exe1996-01-03 01:00 556K 

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