Index of /packages/demos/mags/generation

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ezt_g26.diz2014-02-02 14:49 272  
[   ]atw-g25.diz2013-12-25 16:05 334  
[   ]atw_g25b.diz2013-12-25 16:05 385  
[   ]gen21.diz2013-09-29 03:08 495  
[   ]gen20.diz2019-07-08 06:21 504  
[   ]ezt_g27.diz2004-10-19 01:16 598  
[   ]gen10.zip2024-06-20 23:04 229K 
[   ]gen21.lha2013-09-29 03:08 762K 
[   ]atw_g25b.lha2013-12-25 16:05 793K 
[   ]atw-g25.lha2013-12-25 16:05 822K 
[   ]gen20.lha2019-07-08 06:21 824K 
[   ]ezt_g27.lha2004-10-19 01:17 865K 
[   ]ezt_g26.lha2014-02-02 14:49 1.0M 

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