Walther Neuper <wneuper@ist.tugraz.at> [Mon, 22 Jun 2015 08:27:30 +0200] rev 59144
PIDE: mini-test started
libisabelle does NOT run, see pending
https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2015-June/msg00122.html
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 17 Jun 2015 16:44:17 +0200] rev 59143
merged
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 17 Jun 2015 15:46:55 +0200] rev 59142
PIDE: improvement of xml conversion
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 09 Jun 2015 13:08:07 +0200] rev 59141
PIDE: cleanup of XML conversions
i.e. deleted conversions in ~/proto4/libisabelle/../Protocol.thy
see: https://github.com/wneuper/libisabelle/commit/9bd9090c5d24c0307592498a43434db998993ebc
TODO: shift tests to isabisac/test/ADDTESTS
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 09 Jun 2015 09:41:53 +0200] rev 59140
PIDE: prepare for debugging
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 09 Jun 2015 09:37:29 +0200] rev 59139
PIDE: import libisabelle/../Protocol.thy and rename Interface --> Math_Engine
the renaming is not necessary, makes Protocol.thy more readable.
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 31 May 2015 10:37:31 +0200] rev 59138
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 31 May 2015 10:31:53 +0200] rev 59137
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 31 May 2015 10:24:16 +0200] rev 59136
PIDE: completed Frontend.* with transition to PIDE
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 31 May 2015 09:36:22 +0200] rev 59135
PIDE: completed b5770c988153
unfortunately, present test do NOT check the output of Interface.*