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/
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 30 May 2015 10:02:49 +0200] rev 59129
PIDE: funs in Frontend/interface involving autocalculateOK2xml
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 30 May 2015 09:40:55 +0200] rev 59128
localise (improper in PIDE) error handling preparing for transition to PIDE