Walther Neuper <wneuper@ist.tugraz.at> [Sun, 13 Sep 2015 12:25:30 +0200] rev 59170
updated tests to changes in 636013c7949f
use (XMLTAG) instead <XMLTAG> because the latter is translated
into html-encoding by PIDE
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 29 Aug 2015 08:35:26 +0200] rev 59169
tuned
cf. https://intra.ist.tugraz.at/hg/isac/rev/5cd211b9630e
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 29 Aug 2015 08:33:54 +0200] rev 59168
PIDE-phase 2c CONTINUED: IsaToJava.fetch_proposed_tac_out failed due to wrong XML conversion on SML-side
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 25 Aug 2015 06:13:07 +0200] rev 59167
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 25 Aug 2015 06:04:18 +0200] rev 59166
PIDE: note on state of interface.sml -- isac-java
As a prototype ISAC is weak in documenting features implemented
only partially, which confuses when reading code.
See comment in the changeset, cf.
https://intra.ist.tugraz.at/hg/isac/rev/e0b66c613396
https://intra.ist.tugraz.at/hg/isac/rev/f42db75ae228
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 24 Aug 2015 10:21:14 +0200] rev 59165
PIDE-phase 2c CONTINUED: removed error in Protocol
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 20 Aug 2015 16:18:36 +0200] rev 59164
PIDE-phase 2c: Protocol changed to make IsaToJava simpler
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 18 Aug 2015 17:39:47 +0200] rev 59163
PIDE-phase 2c: Protocol is stable with minimal changes
cf. https://github.com/wneuper/libisabelle/commit/c17860fb3a549bd4e8e97f2d757b410157c8487a
and few predecessors.
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 15 Aug 2015 16:03:53 +0200] rev 59162
PIDE-phase-2a: changed XML for Tactic, driven from isac-java
cf. https://intra.ist.tugraz.at/hg/isac/rev/3ed5dc655f8e
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 15 Aug 2015 08:55:27 +0200] rev 59161
PIDE-phase-2a: cleaned xml_of_tac