PROBCORE-404 Working on typing for Proof objects. Decided to create an AbstractClass instead of Interface.
PROBCORE-404 Added attribute to EventBConstant to mark if it is an abstract constant or not.
PROBCORE-404 Created first prototype for translating EventBModel to Prolog.
PROBCORE-404 Replaced loading mechanism with new mechanism
fixed PROBCORE-432
PROBCORE-404 Fixed double start problem
PROBCORE-404 Trying to make stuff faster.
Experimenting experimenting experimenting
PROBCORE-404 Working on translation stuff.
PROBCORE-404 Translation appears to work correctly.
PROBCORE-404 Refactored the representation of a proof for the 5th time.
PROBCORE-404 New mechanism for dealing with invariants and axioms.
Fixed bugs PROBCORE-404
PROBCORE-404 Beginning v 1.0.0
Replace all Groovy parsers and all that stuff with Xml parsers written in Java. Hopefully will be faster. If not...
PROBCORE-404 v 1.0.1 

Created Xml visitors for Machines and Contexts that are very fast.

Created basic skeleton for Theory Translator as well.
PROBCORE-404 v 1.0.2 Refactored some Theory elements and implemented basic TheoryTranslator. NOT YET TESTED.
PROBCORE-404 v 1.0.3 Theories SHOULD work. Tested for Data and MathExtension theory projects. Fixed some null pointer exceptions.
PROBCORE-404 v 1.0.4 removed old theory translator and test because they are now obsolete.
PROBCORE-404 v 1.0.5 Finished extracting basic info for proofs.
PROBCORE-404 1.0.6 Wrote small integration test.