TAPAAL

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

Created by Lena Ernstsen on 2021-08-18 and last modified on 2021-09-29

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/manual-edit-parsing

Members of TAPAAL Contributors can upload to this branch. Log in for directions.

No branches dependent on this one.

Merged into lp:tapaal at revision 1146

Jiri Srba: Approve on 2021-09-29

Kenneth Yrke Jørgensen: Pending (code) requested 2021-09-29

1141. By Lena Ernstsen on 2021-09-29: Merged trunk
1140. By Lena Ernstsen on 2021-09-29: Fixed spacing and missing transition names in manual edit error message
1139. By Lena Ernstsen on 2021-09-14: Added EOF check to the parsers
1138. By Lena Ernstsen on 2021-08-18: Checks if the parsed query is unchanged
1137. By <email address hidden> on 2021-08-18: merged in lp:~tapaal-contributor/tapaal/disappearing-tokens-1940098 fixing a problem with disappering tokens when renaming a shared place
1136. By <email address hidden> on 2021-08-18: merged in lp:~tapaal-contributor/tapaal/shared-component-buttons-1940075 fixing problem with availability for remove/rename buttons for shared places
1135. By Jiri Srba <email address hidden> on 2021-08-12: 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
1134. By Jiri Srba on 2021-08-08: merged in lp:~tapaal-contributor/tapaal/update-scrollbar-1938778 fixing the udpate the the drawing surface after removing an object
1133. By Jiri Srba on 2021-08-08: merged in lp:~tapaal-contributor/tapaal/register-arrow-keys-simulation-1938868 fixing behaviour of left\right arrow keys after leaving simulation mode
1132. By Jiri Srba on 2021-08-08: merged in lp:~tapaal-contributor/tapaal/add-undo-batch-export-1938790 enabled undo/redo for batch export

This branch contains Public information

Everyone can see this information.