Walther Neuper <wneuper@ist.tugraz.at> [Sat, 18 Jul 2015 15:43:58 +0200] rev 59149
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 18 Jul 2015 15:37:40 +0200] rev 59148
PIDE: Mini_Test step 1 via math-engine corrected
cf.https://github.com/wneuper/libisabelle/commit/fe899fe75ee2b2f9d91f0d5daea58457b5a1e0cd
Note: formalization is a list of variants;
see xmldata/exp/exp_IsacCore_Tests_7a.xml, maximum-example
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 18 Jul 2015 15:27:35 +0200] rev 59147
PIDE: Protocol imports isac/Knowledge
cf. https://github.com/wneuper/libisabelle/commit/e7e6e78c834960aa4d0ce14628ed521cec273b88
Note: isac-java requires isac/Knowledge, not only Frontend
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 25 Jun 2015 11:39:47 +0200] rev 59146
PIDE: libisabelle embedded on ML-side
https://github.com/wneuper/libisabelle/commit/7b2e7cb826922bc23e64c3b480f83b28910f6845
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 22 Jun 2015 15:30:19 +0200] rev 59145
corrected settings of Isabelle2014/Isac
~/.isabelle$ ls -l isabisac/heaps/polyml-5.5.2_x86-linux/
-r--r--r-- 1 wneuper wneuper 210281720 Jun 22 15:19 HOL
-r--r--r-- 1 wneuper wneuper 223443692 Jun 22 15:20 Isac
-r--r--r-- 1 wneuper wneuper 14695584 Jun 22 15:17 Pure
/usr/local/isabisac$ ./bin/isabelle getenv ISABELLE_HOME_USER
ISABELLE_HOME_USER=/home/wneuper/.isabelle/isabisac
/usr/local/isabisac$ ./bin/isabelle getenv ISABELLE_HOME
ISABELLE_HOME=/usr/local/isabisac
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