Added README for the Dijstra protocol model in VDM-SL
Bump tycho to 0.19.0
Adding two new VDM-SL examples
Delete many (very) stale bits of documentation
Move the interesting bits of the branding graphics around, delete the
remaining.  The “Overture Components.ppt” file has been moved into PGL’s
jointpub repository.
Delete the quickSheetMaven, as it’s now on the wiki at
https://github.com/overturetool/overture/wiki/Maven-Survival-Guide
(see issue #251, and the previous two commits relate to that as well)
Normalise release note filenames
Merge remote-tracking branch 'origin/test' into docs
Add self-update site to p2 instructions in product bundle.
Fixes #71
Polymorphic measure functions are not called, fixes #256
Missing type error for value definitions calling operations, fixes #257
Fixed a ThreadDeath error for PeriodicThreads
Merge branch 'origin/kel/astv2'
Merge remote-tracking branch 'origin/pvj/main' into ncb/development
Merge remote-tracking branch 'origin/development' into ncb/development
Merge branch 'origin/ncb/development'
Change the profiles in ide/pom.xml to

* Autodetect mac and linux as well as windows
* Build both 32/64bit versions for win and linux (only 64bit for mac)

Maven uses OR on activation conditions (despite being documented as AND)
so the original (windows && 64bit) condition was activating on all 64bit
machines.  We now activate only on os type, but build both versions.

Building for all platforms now requires -Pall-platforms -P!mac (or
whichever platform) to disable to autodetected profile (note that the !
needs to be escaped in a bash shell, as -P\!mac).

Fixes #259
fixed issue with profile ordering in the ide pom
Merge branch 'origin/crescendo/development'
Fix for RTTextLogger producing empty text file