Index of:

 Name                    Last modified      Size  
 Parent Directory                             -   
 COPYRIGHT.txt           2022-05-13 23:37  715   
 README.txt              2022-05-13 23:37  514   
 biblio.bib              2022-05-13 23:37  2.2K  
 manual-macros.tex.gz    2022-05-13 23:37  5.9K  
 msc.pdf                 2022-05-13 23:37  330K  
 msc.tex.gz              2022-05-13 23:37   23K  

Hosted on andromeda.local