bumped pp.core to version 1.0.0.14
bump pp.project models to v1.0.0.14
bumped pp.isabelle to v1.0.0.14 because pp.core has changed
bumped pp.zeves to v1.0.0.14 because pp.core has changed
Added DisplayTerm to pp.core;
added StringTerm to pp.core;
deleted DisplayTerm from pp.isabelle and pp.zeves
no more need for getDisplay workaround
better rendering of StringTerms
additional SWT utilities
allow adding custom StringTerms as feature parameters
cleanup
Merge branch 'string-terms'
ignore temp files