Add missing operators EG and AF to CTL model checking.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6716 bbc10eb1-c90d-0410-af57-cb519fbb1720
Compile fix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6718 bbc10eb1-c90d-0410-af57-cb519fbb1720
Remove some make dist_src checks no longer needed.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6719 bbc10eb1-c90d-0410-af57-cb519fbb1720
CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6720 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add -politer switch and auto-switch to explicit engine for MDP methods other than value iteration.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6722 bbc10eb1-c90d-0410-af57-cb519fbb1720
CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6723 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bug fix in -simpath: state/step indices were not being displayed correctly when changes=true was set.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6724 bbc10eb1-c90d-0410-af57-cb519fbb1720
In -simpath, specifying the vars=(...) option automatically triggers the changes=true option (to match behaviour in previous versions of PRISM), unless overridden by setting changes=false).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6725 bbc10eb1-c90d-0410-af57-cb519fbb1720
Option 'snaphot' for -simpath also displays state/step indices.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6726 bbc10eb1-c90d-0410-af57-cb519fbb1720
old, uncommitted lpsolve compiel fix

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6728 bbc10eb1-c90d-0410-af57-cb519fbb1720
Separate MDP multi-objective setting from main MDP one.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6729 bbc10eb1-c90d-0410-af57-cb519fbb1720
Changelog and version num, ready for 4.1 public release.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6730 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add dist_src_pub target to build Makefile.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6731 bbc10eb1-c90d-0410-af57-cb519fbb1720
Export labels option for model/prop menus in GUI.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6733 bbc10eb1-c90d-0410-af57-cb519fbb1720
CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6734 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bugfixes + comments in buildMDPRewardsFromPrismExplicit in explicit.ConstructRewards (spotted by Ibrahim Abdoulahi).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6740 bbc10eb1-c90d-0410-af57-cb519fbb1720
Tidy + updates to UndefinedConstants, including ability to remove constants after creation (for parametric stuff).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6759 bbc10eb1-c90d-0410-af57-cb519fbb1720
reintegrated fau

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6782 bbc10eb1-c90d-0410-af57-cb519fbb1720
reintegrated parametric stuff

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6786 bbc10eb1-c90d-0410-af57-cb519fbb1720
documentation

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6788 bbc10eb1-c90d-0410-af57-cb519fbb1720