| Thu, 01 Feb 2007 11:31:46 +0100 | mario | Added some comments. Fixed some accesses to potential NULL pointers. | changeset | files |
| Thu, 01 Feb 2007 11:04:56 +0100 | mario | Changing from decl_state directly to sfc_state | changeset | files |
| Thu, 01 Feb 2007 10:59:57 +0100 | mario | Removing 'transition_name' from 'action_time' definition | changeset | files |