Index of /history.dcs.ed.ac.uk/archive/languages/imp/unix-imp80-release

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      imptoc.tar              2022-08-17 17:11  3.3M  
      imptoc/                 2023-07-21 16:00    -   
      imp/                    2008-10-12 23:40    -   
      ilib/                   2008-10-12 23:41    -   
      ecce/                   2008-10-12 23:40    -