Request SVN version of mcrl2
Request SVN version of mcrl2

Apparently, the new CMAKE build system is not
default in the latest release (Aug 2010).
thedobs/LTSmin,Meijuh/ltsmin,alaarman/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,trolando/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,Sybe/composition,thedobs/LTSmin,vbloemen/ltsmin,buschko/ltsmin,buschko/ltsmin,Sybe/composition,Sybe/composition,vbloemen/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,trolando/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,trolando/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,buschko/ltsmin,Sybe/composition,Meijuh/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,vbloemen/ltsmin,trolando/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin