~tapaal-contributor/tapaal/untimed-timed-gui : changes

~tapaal-contributor/tapaal/untimed-timed-gui » Changes from revision 1105

From Revision 1105 to 1086

Rev	Summary	Authors	Date
1105	Only show interval if net is timed Only show interval if net is timed	ptaankvist at gmail	3 years ago
1104	only show age of tokens if timed only show age of tokens if timed	ptaankvist at gmail	3 years ago
1103	Show CTL dialog if untimed, else show Reachability Show CTL dialog if untimed, else show Reachability	ptaankvist at gmail	3 years ago
1102	Only show dialog if any queries have been removed Only show dialog if any queries have been removed	ptaankvist at gmail	3 years ago
1101	Remove affected queries when changing to timed. Show info me... Remove affected queries when changing to timed. Show info message about queries	ptaankvist at gmail	3 years ago
1100	Show forward backward buttons in simulation mode. Show choos... Show forward backward buttons in simulation mode. Show choose next transition randomly checkbox in simulation control in settings	ptaankvist at gmail	3 years ago
1099	Merged trunk Merged trunk	Kenneth Yrke Jørgens...	3 years ago
1098	Fixed issue with wrong lense when converting a transport arc... Fixed issue with wrong lense when converting a transport arc to untimed	Kenneth Yrke Jørgens...	3 years ago
1097	Fixed changing lense when creating new net types Fixed changing lense when creating new net types	Kenneth Yrke Jørgens...	3 years ago
1096	Update lens when creating tabcontent Update lens when creating tabcontent	ptaankvist at gmail	3 years ago
1095	Merged with upstream Merged with upstream	Kenneth Yrke Jørgens...	3 years ago
1094	Fixed error where draw menu was never enabled and made same ... Fixed error where draw menu was never enabled and made same logic for animation	Kenneth Yrke Jørgens...	3 years ago
1093	Added lens to construtor Added lens to construtor For now Place/Transition and input arc.	Kenneth Yrke Jørgens...	3 years ago
1092	LoadedModel now uses Lens LoadedModel now uses Lens	Kenneth Yrke Jørgens...	3 years ago
1091	Set draw menu disabled if it contains no items Set draw menu disabled if it contains no items	ptaankvist at gmail	3 years ago
1090	fix bug where timed places would be loaded as untimed fix bug where timed places would be loaded as untimed	ptaankvist at gmail	3 years ago
1089	Removed temp setMode function, now controlled from tabconten... Removed temp setMode function, now controlled from tabcontent	Kenneth Yrke Jørgens...	3 years ago
1088	Code cleanup Code cleanup	Kenneth Yrke Jørgens...	3 years ago
1087	Not removes actions when going to noNet mode and fixes bug w... Not removes actions when going to noNet mode and fixes bug where is read action from static context	Kenneth Yrke Jørgens...	3 years ago
1086	Interved control for settting draw and aniamtaion actions in... Interved control for settting draw and aniamtaion actions in guiframe	Kenneth Yrke Jørgens...	3 years ago

Older »