Wizard Index of /~marek/tex/info2/ha9/ 

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] OMakefile               2010-01-08 15:14  624   
[   ] OMakeroot               2010-01-08 15:14   96   
[   ] arith.ml                2010-01-08 15:14  4.0K  
[   ] calc.ml                 2010-01-08 15:14  1.0K  
[   ] diff.ml                 2010-01-08 16:43  2.4K  
[   ] proof.aux               2010-01-08 16:40    8   
[   ] proof.log               2010-01-08 16:40  6.5K  
[   ] proof.pdf               2010-01-08 16:40   14K  Portable Document Format
[TXT] proof.tex               2010-01-08 16:40  1.3K  
[   ] quadTree.ml             2010-01-08 15:14  5.7K
Apache/2.4.59 (Debian) Server at xivilization.net Port 443