From: pimjager Date: Thu, 16 Jun 2016 14:02:02 +0000 (+0200) Subject: hoi X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=6732ee4c653c4b88cb70f78cc9e07e3c07bfdb29;p=mc1516the.git hoi --- diff --git a/a.pdf b/a.pdf index 9ee5c69..baac29d 100644 Binary files a/a.pdf and b/a.pdf differ diff --git a/uppaal/3.xml b/uppaal/3.xml index 5861b32..6824ba4 100644 --- a/uppaal/3.xml +++ b/uppaal/3.xml @@ -2,7 +2,7 @@ // Place global declarations here. -chan cool, inr[2], outr[2]; +broadcast chan cool, inr[2], outr[2];