Wed, 14 Nov 2007 18:59:47 +0100 mario Adding support for use of PRIORITY as identifier inside SFC.
Wed, 14 Nov 2007 08:54:25 +0100 mario Fixing handling of enumeration values;
Sat, 10 Nov 2007 07:12:12 +0100 mario fixing 'priority' in SFC.
Thu, 08 Nov 2007 15:19:51 +0100 mario commenting out code no longer required. To be deleted later.
Sun, 04 Nov 2007 18:25:30 +0100 mario Adding some comments.
Sat, 03 Nov 2007 15:37:07 +0100 mario removing debug messages left by mistake in previous commit.
Sat, 03 Nov 2007 15:34:22 +0100 mario fixing bug in handling of PRIVATE token.