mario [Sat, 03 Nov 2007 15:34:22 +0100] rev 80
fixing bug in handling of PRIVATE token.
mario [Sat, 03 Nov 2007 15:33:53 +0100] rev 79
fixing buf in FOR control variable.
mario [Fri, 02 Nov 2007 19:16:04 +0100] rev 78
removing 'identifier' from definition of symbolic_variable