~tapaal-contributor/tapaal/undo-redo-batchprocessing-1870904 : changes

~tapaal-contributor/tapaal/undo-redo-batchprocessing-1870904 » Changes from revision 1049

From Revision 1049 to 1030

Rev	Summary	Authors	Date
1049	Add undo and redo options for add,remove and clear in batchp... Add undo and redo options for add,remove and clear in batchprocessing	ptaankvist at gmail	3 years ago
1048	merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes	Jiri Srba	3 years ago
1047	merged in lp:~yrke/tapaal/testbranch doing majour refactorin... merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI	Jiri Srba	3 years ago
1046	merged in lp:~tapaal-contributor/tapaal/fix-shared-places- merged in lp:~tapaal-contributor/tapaal/fix-shared-places-exception-1871091 fixing shared places exception when copying components	Jiri Srba	4 years ago
1045	merged in lp:~tapaal-contributor/tapaal/fix-positionalInfo- merged in lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899 fixing loading of positional info in PNML files	Jiri Srba	4 years ago
1044	merged in lp:~tapaal-contributor/tapaal/shared-place-transit... merged in lp:~tapaal-contributor/tapaal/shared-place-transition-rename-1871091 fixing problem with renaming of shared places when a component is copied	Jiri Srba	4 years ago
1043	merged in lp:~tapaal-contributor/tapaal/pnml-disable-buttons... merged in lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535 fixing enabled buttons when pnml file open fails	Jiri Srba	4 years ago
1042	merged in lp:~tapaal-contributor/tapaal/open-on-windows-1868... merged in lp:~tapaal-contributor/tapaal/open-on-windows-1868525 fixing .xml file open on windows	Jiri Srba	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

Older »