Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Code review comment for lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL
tapaal-fix-1855675-notWorkingWithLatestUPPAAL
Merge into trunk
Revision history for this message
Kenneth Yrke Jørgensen (yrke)
wrote
on 2019-12-12
:
#
Latest version set UPPAAL version to 4.1.19 to match rev. 5648
Latest version set UPPAAL version to 4.1.19 to match rev. 5648
«
Back to merge proposal
Latest version set UPPAAL version to 4.1.19 to match rev. 5648