Index of /archive/languages/imp11-tmp/earlyimp11

Icon  Name                    Last modified      Size  Description
[   ] tabgensrc.imp           2008-10-13 09:03  5.4K  
[   ] imp2src.imp             2008-10-13 09:03   62K  
[   ] decodesrc.imp           2008-10-13 09:03  7.0K  
[   ] imp1src.imp             2008-10-13 09:03   72K  
[   ] eprims.imp              2008-10-13 09:03  1.0K  
[   ] imp3src.imp             2008-10-13 09:03   16K  
[   ] itrapsrc.asm            2008-10-13 09:03   18K  
[   ] permsrc.asm             2008-10-13 09:03   20K  
[   ] ilinksrc.asm            2008-10-13 09:03   35K  
[   ] prims.imp               2008-10-13 09:03  768
Apache/2.4 Server at history.dcs.ed.ac.uk Port 443