Fri, 03 Feb 1995 12:32:14 +0100 clasohm added specification of csh as script interpreter
Thu, 02 Feb 1995 13:11:51 +0100 clasohm simplified elimination of chain productions
Fri, 27 Jan 1995 13:40:07 +0100 wenzelm binder: optional body pri now [bracketted];
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip