← Back to branch summary

~tapaal-contributor/tapaal/implement-game-ui-1884499

From Revision 1102 to 1083

expand all expand all

Rev   Summary Authors Date Diff Files
1102
enabled bfs
lsaid 3 years ago Diff Files
1101
Minor fix
lsaid 3 years ago Diff Files
1100
Fixed delay on undo for urgent and uncontrollable transition...
lsaid 3 years ago Diff Files
1099
Merged with trunk
lsaid 3 years ago Diff Files
1098
Fixed state-equation
lsaid 3 years ago Diff Files
1097
added undo for uncontrollable transitions
lsaid 3 years ago Diff Files
1096
added undo for uncontrollable transitions
lsaid 3 years ago Diff Files
1095
Centered 'control:'
lsaid 3 years ago Diff Files
1094
Enabled bfs again for game nets
lsaid 3 years ago Diff Files
1093
Added the control keyword as a header when a net is game
lsaid 3 years ago Diff Files
1092
Grayed out 'use time darts' as well as heuristic and breadth...
lsaid 3 years ago Diff Files
1091
Added 'control:' to the queryField if the net is game.
lsaid 3 years ago Diff Files
1090
fixed wrong query result
lsaid 3 years ago Diff Files
1089
merge
lsaid 3 years ago Diff Files
1088
merge with trunk
lsaid 3 years ago Diff Files
1087
Removed the dialog that pops up if the net is untimed and a ...
lsaid 3 years ago Diff Files
1086
Made TAPNLens public and removed unnecessary methods concern...
lsaid 3 years ago Diff Files
1085
Fixed minor issue with controllable transitions
lsaid 3 years ago Diff Files
1084
Fixed usage of CreateGui.
lsaid 3 years ago Diff Files
1083
Merged lp:tapaal
lsaid 3 years ago Diff Files