diff --git a/bin/config.xml b/bin/config.xml index 10fe63236daa25b88625f2b4e134f2ccae752b91..dd933931526452bbb744b5229a4ece7b33911cad 100755 --- a/bin/config.xml +++ b/bin/config.xml @@ -62,11 +62,11 @@ <ExternalCommand2Host data="localhost"/> <ExternalCommand2 data="/packages/uppaal(4.0.11/uppaal /users/enseig/genius/TURTLE/uppaal/spec.xml"/> -<LastOpenFile data="/users/enseig/genius/TURTLE/modeling/MicroWaveOven_SimpleSynchronousDeploy2CPU2RAM.xml"/> +<LastOpenFile data="/users/enseig/genius/TURTLE/modeling/DASIP2016/DASIP2016_1proc.xml"/> -<LastWindowAttributes x="364" y="25" width="1461" height="938" max="false" /> +<LastWindowAttributes x="1117" y="60" width="1461" height="938" max="false" /> <ProVerifHash data=""/>