cleanup unused
allow changing OK button label
labels for term selection
added ProofFeatureDefs to ProofStore as containment references (bumped model to v1.0.0.10)
also upgraded pp.project ecore model (bumped version to v1.0.0.10)

This is needed because it extends changed parts of the core PP ecore model directly.
keeping the old ecore versions as dynamic packages (to allow model migration)
missing tag to avoid regeneration
bumped version for Isabelle PP EMF model as well (since it extends bumped PP model)
bumped version for Z/EVES PP EMF model as well (since it extends bumped PP model)
bumped version for PP Log EMF model as well (since it uses bumped PP model)
using EMF conversion delegates to define custom serialisation for ZML data type.

This ensures that datatype conversion is performed for dynamic packages as well.
ported YXmlParser to Scala
using EMF conversion delegates to define custom serialisation for Isabelle data types.

This ensures that datatype conversion is performed for dynamic packages as well.
info status
partial repository upgrade functionality: export data snapshot and backup the repository before upgrade
support wiping repository
import the converted data after wiping
upgrade repo on initialisation if needed
fixed monitors
moved repo management to a separate class