mario [Sun, 04 Nov 2007 18:25:30 +0100] rev 82
Adding some comments.
mario [Sat, 03 Nov 2007 15:37:07 +0100] rev 81
removing debug messages left by mistake in previous commit.
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.