arrange the buttons under the transitions and places-rename the label of the... (!52) · Merge requests · ADT-Mochy / MOCHY

THEBAULT Antoine requested to merge arrangeDisplay into master Oct 29, 2020

arrange the buttons under the transitions and places-rename the label of the checkbox to connect/disconnect the timetable to the net-display a separation between places/transitions and events/dependencies #20

arrange the buttons under the transitions and places-rename the label of the...

Merge request reports