lp:~tapaal-contributor/tapaal/disable-buttons-noNetMode-1767758

Created by Peter Haahr Taankvist on 2018-07-08 and last modified on 2018-07-08
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/disable-buttons-noNetMode-1767758
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

966. By Peter Taankvist <email address hidden> on 2018-07-08

Disable prev/next and decrease/increase node spacing actions in noNet mode

965. By <email address hidden> on 2018-07-06

merged in branch lp:tapaal/anniversary-next10 refactoring the GUI

964. By Jiri Srba <email address hidden> on 2018-06-29

increased min version number of verifypn to 3.0.1

963. By Jiri Srba <email address hidden> on 2018-05-28

added older commits to svn repository (historical data)

962. By Jiri Srba on 2018-05-13

merged in branch lp:~tapaal-contributor/tapaal/weight-values-fix-1770637
fixing PNML export and Composer where arc weights were constant names
and should be exported as values instead

961. By Jiri Srba on 2018-05-11

merged in branch lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675
adding batch export of files to PNML and XML

960. By Jiri Srba on 2018-05-11

merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduction-rules-1768066
adding the statistics of reduction rules A-I

959. By Jiri Srba on 2018-05-11

merged in branch lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489
fixing an un-cought exception when renaming a transition to nonvalid name

958. By Jiri Srba on 2018-05-11

merged in branch lp:~tapaal-contributor/tapaal/query-export-bug-1767615
fixing an export of XML queries

957. By Jiri Srba <email address hidden> on 2018-05-02

merged in branch lp:~yrke/tapaal/tapaal-fix-1764383-MacHandling
mixing feel and look for Mac os X with Java 9 (About menu is not working yet)

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.