~tapaal-contributor/tapaal/disappearing-tokens-1940098 : changes

~tapaal-contributor/tapaal/disappearing-tokens-1940098 » Changes from revision 1136

From Revision 1136 to 1117

Rev	Summary	Authors	Date
1136	Stopped tokens from disappearing when names are changed Stopped tokens from disappearing when names are changed	lsaid	2 years ago
1135	merged in lp:~tapaal-contributor/tapaal/deleting-query-prope... merged in lp:~tapaal-contributor/tapaal/deleting-query-property so that deleting a selection in a query dialog now deletes the whole property that is selected	Jiri Srba	2 years ago
1134	merged in lp:~tapaal-contributor/tapaal/update-scrollbar-193... merged in lp:~tapaal-contributor/tapaal/update-scrollbar-1938778 fixing the udpate the the drawing surface after removing an object	Jiri Srba	2 years ago
1133	merged in lp:~tapaal-contributor/tapaal/register-arrow-keys- merged in lp:~tapaal-contributor/tapaal/register-arrow-keys-simulation-1938868 fixing behaviour of left\right arrow keys after leaving simulation mode	Jiri Srba	2 years ago
1132	merged in lp:~tapaal-contributor/tapaal/add-undo-batch-expor... merged in lp:~tapaal-contributor/tapaal/add-undo-batch-export-1938790 enabled undo/redo for batch export	Jiri Srba	2 years ago
1131	merged in lp:~tapaal-contributor/tapaal/interrupted-scrollin... merged in lp:~tapaal-contributor/tapaal/interrupted-scrolling-1938783 fixing scrolling when an arc is hit	Jiri Srba	2 years ago
1130	merged in lp:~tapaal-contributor/tapaal/hide-show-names-192... merged in lp:~tapaal-contributor/tapaal/hide-show-names-1921393 allowing to show/hide place/transition names	Jiri Srba	2 years ago
1129	merged in lp:~tapaal-contributor/tapaal/fix-double-undo fixi... merged in lp:~tapaal-contributor/tapaal/fix-double-undo fixing double registration of undo	Jiri Srba	2 years ago
1128	merged in lp:~tapaal-contributor/tapaal/cut-names-1923011 fi... merged in lp:~tapaal-contributor/tapaal/cut-names-1923011 fixing a problem with box heights on linux	Jiri Srba	3 years ago
1127	updated copyright and new contributors updated copyright and new contributors	Jiri Srba	3 years ago
1126	merged in lp:~tapaal-contributor/tapaal/token-truncation-bug... merged in lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913 allows to show more tokens and when limit exceeded, it shows >99999999	Jiri Srba	3 years ago
1125	increased min version number for verifypn to 4.0.0 increased min version number for verifypn to 4.0.0	Jiri Srba	3 years ago
1124	updated icon to 3.8 updated icon to 3.8	Jiri Srba	3 years ago
1123	merged in lp:~tapaal-contributor/tapaal/dialog-always-on-top... merged in lp:~tapaal-contributor/tapaal/dialog-always-on-top-1918912 fixing a problem with the layout dialog being on top of all other windows when working	Jiri Srba	3 years ago
1122	merged in lp:~tapaal-contributor/tapaal/query-parsing-bug-19... merged in lp:~tapaal-contributor/tapaal/query-parsing-bug-1921580 fixing a problem with using wrong parser when manually parsing CTL queries	Jiri Srba	3 years ago
1121	Merged branch lp:~yrke/tapaal/github-actions Merged branch lp:~yrke/tapaal/github-actions	Kenneth Yrke Jørgens...	3 years ago
1120	merged in lp:~tapaal-contributor/tapaal/save-tar-option that... merged in lp:~tapaal-contributor/tapaal/save-tar-option that allows to save -tar option to .tapn file	Jiri Srba	3 years ago
1119	merged in lp:~tapaal-contributor/tapaal/add-tar-option addin... merged in lp:~tapaal-contributor/tapaal/add-tar-option adding the -tar option for the verifypn engine	Jiri Srba	3 years ago
1118	merged in lp:~tapaal-contributor/tapaal/raw-query-window- merged in lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 fixing the scaling of raw-output result	Jiri Srba	3 years ago
1117	merged in lp:~tapaal-contributor/tapaal/show-reduced-net-187... merged in lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 adding the possiblity to show the reduced net - relies on the new trunk version of verifypn	Jiri Srba	3 years ago

Older »