lp:~tapaal-contributor/tapaal/open-on-windows-1868525

Created by Peter Haahr Taankvist on 2020-03-23 and last modified on 2020-03-23
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/open-on-windows-1868525
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

1043. By Peter Haahr Taankvist on 2020-03-23

Comment on the code

1042. By Peter Haahr Taankvist on 2020-03-23

Make it such that windows users can also see both xml and tapn files when using open function

1041. By <email address hidden> on 2020-03-18

changed year from 2019 to 2020

1040. By Jiri Srba on 2020-03-17

merged in lp:~tapaal-contributor/tapaal/select-all-disable-1835873 fixing focus issues when changing templates

1039. By Jiri Srba on 2020-03-17

merged in lp:~tapaal-contributor/tapaal/constants-blink-1853902 allowing constants to blink when selected in editor mode

1038. By Jiri Srba on 2020-03-17

merged in lp:~tapaal-contributor/tapaal/show-smart-draw-dialog-PNML-1856544 calling automatic layout tool if position information is missing

1037. By Jiri Srba on 2020-03-17

merged in lp:~tapaal-contributor/tapaal/seperate-save-paths-1855266 fixing load/save paths

1036. By Jiri Srba <email address hidden> on 2020-02-03

merged in lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL fixing the loading of the newest verifyta engines

1035. By Jiri Srba <email address hidden> on 2020-02-03

merged in lp:~yrke/tapaal/updatedVersionCheckURL with new URL for version check

1034. By Jiri Srba <email address hidden> on 2020-02-03

merged in lp:~tapaal-contributor/tapaal/open-arg-file-1855267 allowing to call tapaal with an argument (.tapn file)

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.