Index of:

 Name                                  Last modified      Size  
 Parent Directory                                           -   
 tools.itarget                         2024-12-31 10:20  217   
 shuffle2.ml                           2024-12-31 10:20  237   
 shuffle.ml                            2024-12-31 10:20  230   
 pair.ml                               2024-12-31 10:20  1.1K  
 mygzip.ml                             2024-12-31 10:20  324   
 gunzip.ml                             2024-12-31 10:20  511   
 conv.ml                               2024-12-31 10:20  761   
 cat2.ml                               2024-12-31 10:20  726   
 cat.ml                                2024-12-31 10:20  291   
 browser.ml                            2024-12-31 10:20  162   
 _tags                                 2024-12-31 10:20   35