markus.muehlbrandt@itemis.de 9bbd1b5e64 The fonts of transition labels and text compartments are now changeable with the appearance property view. před 14 roky
..
features 984cd97330 Plugin and feature names changed. před 14 roky
plugins 9bbd1b5e64 The fonts of transition labels and text compartments are now changeable with the appearance property view. před 14 roky
releng 8657593ca6 allowBinaryCycles=true před 14 roky