Edited configure message about Scoop.
Updated Scoop/MAPA documentation.
- Allow 'pretty' values in mu-calculus layer
- Several bugfixes for the combination of the mucalc layer and caching, regrouping.
Small documentation fixes.
Updated documentation about LTL. Removed LTL options from tools that
do not support LTL property checking (no accepting cycle detection is available
in the -dist and -sym tools).
Provide more useful feedback when doing LTL model checking (needs to be improved further).
Minor documentation updates.
guard-splitting for mCRL2
prepare for multi-process state label evaluations.
multi-process label evaluation
fix warning
use correct exit codes
fix bug in cpy vector for multi-process.