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

~tapaal-contributor/tapaal/open-on-windows-1868525 » Changes from revision 1043

From Revision 1043 to 1024

Rev	Summary	Authors	Date
1043	Comment on the code Comment on the code	ptaankvist at gmail	4 years ago
1042	Make it such that windows users can also see both xml and ta... Make it such that windows users can also see both xml and tapn files when using open function	ptaankvist at gmail	4 years ago
1041	changed year from 2019 to 2020 changed year from 2019 to 2020	srba.jiri at gmail	4 years ago
1040	merged in lp:~tapaal-contributor/tapaal/select-all-disable-1... merged in lp:~tapaal-contributor/tapaal/select-all-disable-1835873 fixing focus issues when changing templates	Jiri Srba	4 years ago
1039	merged in lp:~tapaal-contributor/tapaal/constants-blink-1853... merged in lp:~tapaal-contributor/tapaal/constants-blink-1853902 allowing constants to blink when selected in editor mode	Jiri Srba	4 years ago
1038	merged in lp:~tapaal-contributor/tapaal/show-smart-draw-dial... merged in lp:~tapaal-contributor/tapaal/show-smart-draw-dialog-PNML-1856544 calling automatic layout tool if position information is missing	Jiri Srba	4 years ago
1037	merged in lp:~tapaal-contributor/tapaal/seperate-save-paths-... merged in lp:~tapaal-contributor/tapaal/seperate-save-paths-1855266 fixing load/save paths	Jiri Srba	4 years ago
1036	merged in lp:~yrke/tapaal/tapaal- merged in lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL fixing the loading of the newest verifyta engines	Jiri Srba	4 years ago
1035	merged in lp:~yrke/tapaal/updatedVersionCheckURL with new UR... merged in lp:~yrke/tapaal/updatedVersionCheckURL with new URL for version check	Jiri Srba	4 years ago
1034	merged in lp:~tapaal-contributor/tapaal/open-arg-file-1855... merged in lp:~tapaal-contributor/tapaal/open-arg-file-1855267 allowing to call tapaal with an argument (.tapn file)	Jiri Srba	4 years ago
1033	merged in lp:~yrke/tapaal/updated-launch4j-config fixing lau... merged in lp:~yrke/tapaal/updated-launch4j-config fixing launch4j script	Jiri Srba	4 years ago
1032	merged in lp:~tapaal-contributor/tapaal/export-import-PNML-1... merged in lp:~tapaal-contributor/tapaal/export-import-PNML-1853823 fixing saving/loading of PNML files	Jiri Srba	4 years ago
1031	merged in lp:~tapaal-contributor/tapaal/focus-in-automatic- merged in lp:~tapaal-contributor/tapaal/focus-in-automatic-layout-1853903 fixing focus in the automatic layout dialog	Jiri Srba	4 years ago
1030	merged in lp:~tapaal-contributor/tapaal/loading-of-large-net... merged in lp:~tapaal-contributor/tapaal/loading-of-large-nets-1848945 fixing loading of large nets speed	Jiri Srba	4 years ago
1029	merged in lp:~tapaal-contributor/tapaal/annotation-note-clo... merged in lp:~tapaal-contributor/tapaal/annotation-note-close-1849639 fixing the closing of annotation using the x	Jiri Srba	4 years ago
1028	merged in lp:~yrke/tapaal/tapaal- merged in lp:~yrke/tapaal/tapaal-fixes-1849786-arcJumpsBetweenTransitions fixing arcs jumping when transitions are too close to each other	Jiri Srba	4 years ago
1027	merged in lp:~tapaal-contributor/tapaal/rollercoaster-exampl... merged in lp:~tapaal-contributor/tapaal/rollercoaster-example-loading-fail-1850713 fixing loading of nets in the old format	Jiri Srba	4 years ago
1026	merged in lp:~tapaal-contributor/tapaal/undo-redo-not-availa... merged in lp:~tapaal-contributor/tapaal/undo-redo-not-available-when-drawing-arc-1848949 fixing undo when drawing an arc	Jiri Srba	4 years ago
1025	merged in lp:~tapaal-contributor/tapaal/notes-hides-namelabe... merged in lp:~tapaal-contributor/tapaal/notes-hides-namelabels-1848947 so that annotations do not hide any labels	Jiri Srba	4 years ago
1024	merged in lp:~tapaal-contributor/tapaal/simple-workspace- merged in lp:~tapaal-contributor/tapaal/simple-workspace-issues-1849780 fixing behaviour of simple workspace	Jiri Srba	4 years ago

Older »