~tapaal-contributor/tapaal/interrupted-scrolling-1938783

• Changes
• Files

~tapaal-contributor/tapaal/interrupted-scrolling-1938783 » Changes from revision 1131

From Revision 1131 to 1112

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
1131		Scrolling will not be interrupted by arcs anymore Scrolling will not be interrupted by arcs anymore	lsaid	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
1116		merged in lp:~tapaal-contributor/tapaal/raw-query-output add... merged in lp:~tapaal-contributor/tapaal/raw-query-output adding the possibility to display raw output from engines	Jiri Srba	3 years ago
1115		fixed a tooltip for batch export menu item fixed a tooltip for batch export menu item	Jiri Srba	3 years ago
1114		merged in lp:~tapaal-contributor/tapaal/add-export-options a... merged in lp:~tapaal-contributor/tapaal/add-export-options adding the option of batch export to all engines	Jiri Srba	3 years ago
1113		merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-trans... merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query fixing a problem of transition-enabledness predicate in query dialog	Jiri Srba	3 years ago
1112		updated minimum versions of verifydtapn to 3.4.1 and verifyp... updated minimum versions of verifydtapn to 3.4.1 and verifypn to 3.1.1	Jiri Srba	3 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1