Tue, 12 Sep 1995 11:04:29 +0200 trivial update to POPL title
paulson [Tue, 12 Sep 1995 11:04:29 +0200] rev 1255
trivial update to POPL title
Mon, 11 Sep 1995 14:16:28 +0200 replaced "IOA/ROOT.ML" by "IOA/ROOT_NTP.ML IOA/ROOT_ABP.ML"
clasohm [Mon, 11 Sep 1995 14:16:28 +0200] rev 1254
replaced "IOA/ROOT.ML" by "IOA/ROOT_NTP.ML IOA/ROOT_ABP.ML"
Mon, 11 Sep 1995 12:38:20 +0200 split IOA/ROOT.ML into two files for ABP and NTP
clasohm [Mon, 11 Sep 1995 12:38:20 +0200] rev 1253
split IOA/ROOT.ML into two files for ABP and NTP
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip