Merge remote-tracking branch 'origin/test' into akm
Fixed Isabelle launch config for Windows - needed Cygwin loc. Mac launch bug has been temporarily fixed.
Merge commit '4501bd43debe77e5fc32c233fd3ccbc0225903ec' into rjp
* changed the cml parser to add typequalifier to the name on a
  AActionDefinition. This was nesacasry to make i fit into overture.
Cleaned up pog icons.
Merge commit '5fdff585f0756a830b3cb6d466c841e5c82822ee' into rjp
Completing TPUnsupportedCollector and fixing some visitors to reflect this.
added unsupported check back in when calling THY gen
4 skipped and 10 failures
3 skipped 8 failures
1 skipped and 6 failures
* Modified the WeedingUnresolvedPathReplacement to preserve the old on
  a name, this get lost before
Down to 3 failures
Merge commit '26857d2206748db0f584e3da8c41322a9540798e' into jwc
Down to 2 failures
Merge commit 'e3c0950c6f00babc1dba3985d3c165ae0f7ec598' into jwc
Merge commit 'f6af4242a2411759070c3a8c267d789440711e7d' into jwc
Small changes to save formula facts and fix the graph builder.
Merge commit '9f92588e76c1eb4e24ebd4f4aa8897130b4e350b' into jwc
Start handling minimondex.