mario [Sat, 10 Nov 2007 07:12:12 +0100] rev 84
fixing 'priority' in SFC.
mario [Thu, 08 Nov 2007 15:19:51 +0100] rev 83
commenting out code no longer required. To be deleted later.
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.