~verifytapn/verifytapn/trunk

  • Committer: Jiri Srba
  • Date: 2017-09-08 10:58:19 UTC
  • Revision ID: srba.jiri@gmail.com-20170908105819-1uod2kg72pq6rqm8
added compiles scripts for mac that work in 2017
Filename Latest Rev Last Changed Committer Comment Size
..
example-nets 68 13 years ago Morten Jacobsen merged with development branch Diff
lib 68 13 years ago Morten Jacobsen merged with development branch Diff
src 68 13 years ago Morten Jacobsen merged with development branch Diff
.bzrignore 68 13 years ago Morten Jacobsen merged with development branch 43 bytes Diff Download File
boost-software-license.txt 68 13 years ago Morten Jacobsen merged with development branch 1.3 KB Diff Download File
README 152 6 years ago Jiri Srba updated UPPAAL-dbm-2.0.8 archive to compile for ma 3.1 KB Diff Download File