~tapaal-contributor/tapaal/fix-tikz-export-1945642

• Changes
• Files

~tapaal-contributor/tapaal/fix-tikz-export-1945642 » Changes from revision 1158

From Revision 1145 to 1126

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
1145		merged in lp:~tapaal-contributor/tapaal/boundedness-check-19... merged in lp:~tapaal-contributor/tapaal/boundedness-check-1944588 fixing problem with boundedness check	Jiri Srba	2 years ago
1144		merged in lp:~tapaal-contributor/tapaal/game-verifydtapn-npe... merged in lp:~tapaal-contributor/tapaal/game-verifydtapn-npe-1944422 fixing problem with ghost places in untimed games queries	Jiri Srba	2 years ago
1143		merged in lp:~tapaal-contributor/tapaal/manual-edit-error-me... merged in lp:~tapaal-contributor/tapaal/manual-edit-error-messages where manual query edit now shows error messages	srba.jiri at gmail	2 years ago
1142		merged in lp:~tapaal-contributor/tapaal/incorrectly-shared- merged in lp:~tapaal-contributor/tapaal/incorrectly-shared-components-1940403 fixing "cancel" when making a place shared	srba.jiri at gmail	2 years ago
1141		merged in lp:~tapaal-contributor/tapaal/edit-interval-194040... merged in lp:~tapaal-contributor/tapaal/edit-interval-1940402 fixing editing of intervals with constants	srba.jiri at gmail	2 years ago
1140		merged in lp:~tapaal-contributor/tapaal/boundedness-check fi... merged in lp:~tapaal-contributor/tapaal/boundedness-check fixing boundedness check for verifypn	srba.jiri at gmail	2 years ago
1139		merged in lp:~tapaal-contributor/tapaal/remove-entire- merged in  lp:~tapaal-contributor/tapaal/remove-entire-selection-1940416 allowd multiple constant removal	srba.jiri at gmail	2 years ago
1138		merged in lp:~tapaal-contributor/tapaal/copy-from-messages a... merged in lp:~tapaal-contributor/tapaal/copy-from-messages allowing to copy/paste from error messages	srba.jiri at gmail	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

• Older »

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