TAPAAL

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

Created by Lena Said 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.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

1086. By Lena Said on 2020-08-13

Refactored

1085. By Lena Said on 2020-08-13

Added shortcut to open 'Engine Selection'.

1084. By Lena Said on 2020-08-12

changed warning message for older java versions

1083. By Lena Said on 2020-08-12

Shows the user's java version.

1082. By Lena Said on 2020-08-12

Added warning if the java version is lower than 11

1081. By Lena Said 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

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.