Walther Neuper <wneuper@ist.tugraz.at> [Tue, 04 Sep 2018 14:50:30 +0200] rev 59469
Isabelle2017->18: add libisabelle, PROBLEM with session management:
/usr/local/isabisac/src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar:
Cannot start:
*** Duplicate theory "Protocol.Protocol" vs. "/usr/local/isabisac/libisabelle-protocol/libisabelle/protocol/Protocol.thy"
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 29 Aug 2018 11:27:22 +0200] rev 59468
------ finish update Isabelle2017 --> Isabelle2018 for Test_Isac.thy
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 29 Aug 2018 11:24:41 +0200] rev 59467
Isabelle2017->18: in term language "op" replaced by "lambda"
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 28 Aug 2018 14:04:25 +0200] rev 59466
Isabelle2017->18: intermediate repair cf. 7b2998e11662
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 28 Aug 2018 13:34:22 +0200] rev 59465
Isabelle2017->18: adapt to more rigorous session handling
note: imports Isac.Build_Isac (in Test_Isac.thy) and
and imports "~~/src/Tools/isac/Knowledge/Isac" in other test files
causes error: Duplicate theory name Isac.KEStore, Draft.KEStore, etc.
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 28 Aug 2018 11:34:55 +0200] rev 59464
Isabelle2017->18: avoid libisabelle ERROR in ROOT, cf.7b2998e11662
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 27 Aug 2018 17:14:23 +0200] rev 59463
Isabelle2017->18: Test_Isac.thy for request at isabelle-users@
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 27 Aug 2018 15:57:45 +0200] rev 59462
sabelle2017->18: for Test_Isac.thy minor changes
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 24 Aug 2018 14:23:13 +0200] rev 59461
Isabelle2017->18: for Test_Isac.thy adopt new comments
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 24 Aug 2018 13:05:00 +0200] rev 59460
Isabelle2017->18: for Test_Isac.thy adapt new form of imports
Note: previously there seem to be no distinction between "session Isac" and respective thy.