TAPAAL

lp:~tapaal-contributor/tapaal/TAG

Created by Peter Gjøl Jensen on 2015-09-01 and last modified on 2015-09-16

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

No branches dependent on this one.

921. By Peter Gjøl Jensen on 2015-09-16: removed dead options
920. By Peter Gjøl Jensen on 2015-09-12: added restrictions on engine-options
919. By Peter Gjøl Jensen on 2015-09-12: added control-prefixed queries
918. By Peter Gjøl Jensen on 2015-09-03: flipped controllable-checkbox to uncontrollable
917. By Peter Gjøl Jensen on 2015-09-03: Fixed bugs with loading and rotation
916. By Peter Gjøl Jensen on 2015-09-02: fixed rotation and wrong urgency check
915. By Peter Gjøl Jensen on 2015-09-02: added issing file
914. By Peter Gjøl Jensen on 2015-09-01: tikz export fixed
913. By Peter Gjøl Jensen on 2015-09-01: loading and saving of games enabled
912. By Peter Gjøl Jensen on 2015-09-01: added graphics for controllable/uncontrollable

This branch contains Public information

Everyone can see this information.