before start update Isabelle2014 --> Isabelle2015

Note: this update will need an according update of libisabelle.

PIDE: corrected PIDE's strange handling of strings

from formulas input in isac-java,
e.g. appendFormula 1 "-4 * b ^ 2 / (a + b) + 4 * a ^ 2 / (a + b)"
PIDE multiplicated "^" to,
e.g. CalcMessage: syntax error in '-4 * b ^^^^^^^^^ 2 / (a + b) + 4 * a ^^^^^^^^^ 2 / (a + b)' -4 * b ^ 2 / (a + b) + 4 * a ^ 2 / (a + b)

PIDE: (Knowledge-)Context works also for met FINALLY

There was another error lurking behind the first one,
c.f. isac-java b1c943da612b

PIDE: (Knowledge-)Context works also for met

isac-java 206de785230d was premature.

tuned

found a failing test without assertion; check XML ?

TODO: find a way to check the new XML output

unified (Knowledge-)Context for thy, pbl, met

Note: thy was implemented later than pbl, met

improved exception handling in XML conversion

debugging https://intra.ist.tugraz.at/hg/isac/rev/c19f69a8bf01
we expect improved error message from libisabelle/../Protocol.thy,
in particular at "operation_setup init_ctxt"

updated tests to changes in 636013c7949f

use (XMLTAG) instead <XMLTAG> because the latter is translated
into html-encoding by PIDE

tuned

cf. https://intra.ist.tugraz.at/hg/isac/rev/5cd211b9630e