Viewing all changes in revision 1111.

Committer: Jiri Srba
Date: 2020-10-31 19:05:15 UTC
mfrom: <a title="Merged From 1102.5.4" href="/~tapaal-contributor/tapaal/fix-is-enabled-transition-query/revision/1102.5.4">(1102.5.4 Gui-freeze-1896457)
Revision ID: srba@cs.aau.dk-20201031190515-381fmzg8fwev9wyf

merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 removing debugging lines

added added

removed removed