Merge branch 'master' of ygdrassil_git:ar1516

diff --cc a2/src/path.sh
index 8d1a61c,3603923..abe4d9a
--- 1/a2/src/path.sh
--- 2/a2/src/path.sh
+++ b/a2/src/path.sh
@@@ -1,1 -1,3 +1,3 @@@
 -export PATH=$PATH:/home/mart/downloads/NuSMV-2.5.4/nusmv
 +export PATH=$PATH:/home/mart/downloads/NuSMV-2.6.0-Linux/bin
+ export PATH=$PATH:/home/mart/projects/NuSMV-2.6.0-Linux/bin
+ export PATH=$PATH:/home/mart/projects/LADR-2009-11A/bin