TAPAAL

lp:~tapaal-contributor/tapaal/add-java-info-1890600

Created by Lena Ernstsen on 2020-08-12 and last modified on 2020-08-13

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/add-java-info-1890600

Members of TAPAAL Contributors can upload to this branch. Log in for directions.

No branches dependent on this one.

Merged into lp:tapaal at revision 1082

Jiri Srba: Approve on 2020-08-13

Kenneth Yrke Jørgensen: Needs Fixing on 2020-08-13

Undecided

Fix Released

1086. By Lena Ernstsen on 2020-08-13: Refactored
1085. By Lena Ernstsen on 2020-08-13: Added shortcut to open 'Engine Selection'.
1084. By Lena Ernstsen on 2020-08-12: changed warning message for older java versions
1083. By Lena Ernstsen on 2020-08-12: Shows the user's java version.
1082. By Lena Ernstsen on 2020-08-12: Added warning if the java version is lower than 11
1081. By Lena Ernstsen on 2020-08-12: Added the version description to the engine selection menu
1080. By Jiri Srba <email address hidden> on 2020-08-11: merged in lp:~tapaal-contributor/tapaal/change-net-features allowing to change net features
1079. By Jiri Srba <email address hidden> on 2020-08-11: merged in lp:~tapaal-contributor/tapaal/game-example-net adding game example net
1078. By Jiri Srba on 2020-08-10: merged in lp:~yrke/tapaal/evenMore-gui-cleanup doing GUI cleanup and fixing memory access check, about menu in Mac, exception in verification and reenabled quick draw
1077. By Jiri Srba on 2020-08-09: merged in lp:~tapaal-contributor/tapaal/implement-game-ui-1884499 adding implementation of game UI

This branch contains Public information

Everyone can see this information.