updated documentation for Rodin projects on github
restore state machine layout
restore state machine layout