~tapaal-contributor/tapaal/fix-double-undo

From Revision 1129 to 1110

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
1129		Fix needing to press undo/redo twice after specific actions Fix needing to press undo/redo twice after specific actions	lsaid	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
1111		merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 r... merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 removing debugging lines	Jiri Srba	3 years ago
1110		merged in lp:~tapaal-contributor/tapaal/add-discrete-to-unti... merged in lp:~tapaal-contributor/tapaal/add-discrete-to-untimed allowing to call the discrete time game engine from untimed lens mode	Jiri Srba	3 years ago

• Older »

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