a2/src/path.sh

   1 export PATH=$PATH:/home/mart/downloads/NuSMV-2.6.0-Linux/bin
   2 export PATH=$PATH:/home/mart/projects/NuSMV-2.6.0-Linux/bin
   3 export PATH=$PATH:/home/mart/projects/LADR-2009-11A/bin