Viewing all changes in revision 1036.

Committer: Jiri Srba
Date: 2020-02-03 12:52:17 UTC
mfrom: <a title="Merged From 1032.4.2" href="/~tapaal-contributor/tapaal/open-on-windows-1868525/revision/1032.4.2">(1032.4.2 tapaal-fix-1855675-notWorkingWithLatestUPPAAL)
Revision ID: srba.jiri@gmail.com-20200203125217-xcpeo9luursw792b

merged in lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL fixing the loading of the newest verifyta engines

added added

removed removed