Index of /history.dcs.ed.ac.uk/archive/languages/prolog/edinburgh/tools/timing

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      timing.pop              2023-05-03 14:23  2.4K  
      timing-pl.txt           2023-05-03 14:23  1.0K