Prepping for assistant documentation.
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/afdoc
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/astntrw

Conflicts:
	core/typechecker/src/main/java/org/overture/typechecker/utilities/VariableNameCollector.java
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/astntrw

Conflicts:
	core/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java
fixed error withimplicit operation in prob + missing state existens check

f(s:set of nat)n:nat
post r in set s
More stupid Line Endings...
Merge remote-tracking branch 'origin/symphony/development' into ldc/main

Conflicts:
	core/modelcheckers/probsolverintegration/src/test/resources/modules/Bool-0033.vdmsl.entry
	core/modelcheckers/probsolverintegration/src/test/resources/modules/Bool-0033.vdmsl.result
Merge remote-tracking branch 'origin/symphony/development' into ldc/main
merged with hil/solve but not soccer times out
Merge remote-tracking branch 'origin/symphony/development' into ldc/main
Merge remote-tracking branch 'origin/kel/astv2' into ldc/main
Merge remote-tracking branch 'origin/kel/solv-merge' into ldc/main
Merge remote-tracking branch 'origin/symphony/development' into ldc/main
Merge remote-tracking branch 'origin/development' into ldc/main
Merge remote-tracking branch 'origin/development' into ldc/main
Enable the osgi.instance.area.default property
Commit the release notes and a script to convert the github issues into
a markdown-formatted list of links.
[ci skip]
Merge remote-tracking branch 'origin/development' into ldc/main

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/VdmToBConverter.java
	core/modelcheckers/probsolver/src/test/java/org/overture/modelcheckers/probsolver/InspectBAst.java
	core/modelcheckers/probsolver/src/test/resources/modules/soccer.vdmsl
XML extension need for eclipse in linux.
Merging with Peter's branch.