Viewing all changes in revision 1075.

Committer: Jiri Srba
Date: 2020-08-06 12:33:30 UTC
mfrom: <a title="Merged From 1074.1.2" href="/~tapaal-contributor/tapaal/game-example-net/revision/1074.1.2">(1074.1.2 tapaal)
Revision ID: srba.jiri@gmail.com-20200806123330-4yc5p5h4nl3j6jdq

merged in lp:~tapaal-contributor/tapaal/transport-arcs-and-timed-nets not transport arcs also imply that a net is timed

added added

removed removed