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.*
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 31 May 2015 09:23:31 +0200] rev 59134
PIDE: Frontend.fetchApplicableTactics
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 31 May 2015 07:38:19 +0200] rev 59133
PIDE: funs in Frontend/interface on (Isac-)context
those which concern contextthyOK2xml;
setContext was done before.
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 30 May 2015 12:16:16 +0200] rev 59132
refactor before transition to PIDE
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 30 May 2015 11:56:59 +0200] rev 59131
unify xml for calcchanged -- prep.transition to PIDE
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 30 May 2015 10:13:04 +0200] rev 59130
PIDE: last step of libisabelle/doc/test--isac-java--isac-kernel.txt
at https://github.com/wneuper/libisabelle/