Deal with global definitions class which does not really exist.
Merge remote-tracking branch 'origin/kel' into newpog
After merging the failures went up again for some strange reason
Merge branch 'origin/kel'
Merge branch 'origin/akm'
Down to 46 failures
Down to 34 failures
Updates on the MCUnsupportedCollector.
Merge branch 'afm' of ssh://git.code.sf.net/p/compassresearch/code into acf_
19 skipped and 35 failures
Revert the heap and GC settings for junit tests
Various fixes: invariants now as separate functions, action refs as full visitors, refactoring defn visitors, supporting is_ exp, blocking Isabelle from stating if Z3 is not set. Compiles.
13 skipped and 39 failures
Now using GLobal class name constant.
Merge commit 'e1dedc7150d1f2c36579ef63861aaa59ab98413b' into rjp
Merge remote-tracking branch 'origin/test' into newpog
Fixed the error in class BuilderCml.java
Initial attempts at new pog icons. Failing so far.
Small changes to fix translation.
Temporary files deleted.