Simon Van Mierlo d0e1721ac9 changed structure completely, now has an installer 9 éve
..
big_step_maximality d0e1721ac9 changed structure completely, now has an installer 9 éve
event_lifeline d0e1721ac9 changed structure completely, now has an installer 9 éve
no_statechart d0e1721ac9 changed structure completely, now has an installer 9 éve
original_semantics d0e1721ac9 changed structure completely, now has an installer 9 éve
priority d0e1721ac9 changed structure completely, now has an installer 9 éve
timing d0e1721ac9 changed structure completely, now has an installer 9 éve