Wed, 01 Dec 1993 12:48:47 +0100 new references
lcp [Wed, 01 Dec 1993 12:48:47 +0100] rev 178
new references
Wed, 01 Dec 1993 12:45:49 +0100 now inspects FOLP_build_completed
lcp [Wed, 01 Dec 1993 12:45:49 +0100] rev 177
now inspects FOLP_build_completed
Wed, 01 Dec 1993 12:41:25 +0100 now declares FOLP_build_completed
lcp [Wed, 01 Dec 1993 12:41:25 +0100] rev 176
now declares FOLP_build_completed
(0) -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip