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).
guard-splitting for mCRL2
prepare for multi-process state label evaluations.