Index of /~softadm/imports

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 mizar.dct               2017-03-29 08:35  1.4K  
 sortenv.pl              2017-03-30 22:47  3.0K  
 imports.sed             2017-03-30 22:49  176   
 Linux/                  2017-04-01 05:34    -   
 Windows/                2017-04-01 05:40    -   
 MacOSX-Darwin/          2017-04-01 05:40    -   
 examples/               2017-04-01 06:29    -   
 README                  2017-04-01 07:16  1.2K  
 paper.pdf               2017-04-10 11:14  178K  
 slides.pdf              2017-07-20 04:26  1.0M