~tapaal-contributor/tapaal/manual-edit-parsing

From Revision 1141 to 1122

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
1141		Merged trunk Merged trunk	lsaid	2 years ago
1140		Fixed spacing and missing transition names in manual edit er... Fixed spacing and missing transition names in manual edit error message	lsaid	2 years ago
1139		Added EOF check to the parsers Added EOF check to the parsers	lsaid	2 years ago
1138		Checks if the parsed query is unchanged Checks if the parsed query is unchanged	lsaid	2 years ago
1137		merged in lp:~tapaal-contributor/tapaal/disappearing-tokens-... merged in lp:~tapaal-contributor/tapaal/disappearing-tokens-1940098 fixing a problem with disappering tokens when renaming a shared place	srba.jiri at gmail	2 years ago
1136		merged in lp:~tapaal-contributor/tapaal/shared-component- merged in lp:~tapaal-contributor/tapaal/shared-component-buttons-1940075 fixing problem with availability for remove/rename buttons for shared places	srba.jiri at gmail	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

• Older »

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