~tapaal-contributor/tapaal/update-scrollbar-1938778

• Changes
• Files

~tapaal-contributor/tapaal/update-scrollbar-1938778 » Changes from revision 1132

From Revision 1132 to 1113

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
1132		small fix small fix	lsaid	2 years ago
1131		When places/transitions are deleted, scrollbar is updated When places/transitions are deleted, scrollbar is updated	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

• Older »

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