Remove astCreator from master branch
forgot to remove astCreator from tools/pom.xml
Merge commit '325ddc415e47d0518ca0a63a6b1ccacadb99050f' into release
Merge branch 'master' into release

Conflicts:
	ide/plugins/prob-runtime/core/icons/uml.png
	tools/pom.xml
Add versioning plugins and bump version numbers to 2.0.2
no message
no message
Add config file for the Travis CI system at https://travis-ci.org
Merge commit '7a4670d24257c29486745938c019cd6d0416613d' into release
fixed error withimplicit operation in prob + missing state existens check

f(s:set of nat)n:nat
post r in set s
Solved conficts
Merge remote-tracking branch 'origin/pvj/main' into assistant-rewrite

Conflicts:
	core/pog/src/main/java/org/overture/pog/obligation/ParameterPatternObligation.java
	core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java
Add release notes for v2.0.2, and fix type in the v2.0.0 note
minor cleanups in pom.xml files
Disable inclusion of the AST-based POG for the release
Merge ‘docs’ branch into v2.0.2 release
Re-enable inclusion of the AST-based POG for development
Bump development to version 2.0.3-SNAPSHOT
Merge commit '55ca4cbef18b0d8a53e369207f57600058675773' into development
Add travis build icon to the readme