1.1 --- a/src/Tools/isac/Isac_Protocol.thy	Tue Feb 06 15:22:32 2018 +0100
     1.2 +++ b/src/Tools/isac/Isac_Protocol.thy	Tue Feb 06 15:24:03 2018 +0100
     1.3 @@ -1,5 +1,5 @@
     1.4  theory Isac_Protocol
     1.5 -imports "~~/libisabelle-protocol/protocol/Protocol" "~~/src/Tools/isac/Knowledge/Build_Thydata"
     1.6 +imports "~~/libisabelle-protocol/libisabelle/protocol/Protocol" "~~/src/Tools/isac/Knowledge/Build_Thydata"
     1.7  begin
     1.8  
     1.9  (* val appendFormula : calcID -> cterm' -> XML.tree *)

     2.1 --- a/src/Tools/isac/ROOT	Tue Feb 06 15:22:32 2018 +0100
     2.2 +++ b/src/Tools/isac/ROOT	Tue Feb 06 15:24:03 2018 +0100
     2.3 @@ -5,6 +5,7 @@
     2.4  $ export ISABELLE_VERSION=2015 # for libisabelle
     2.5  $ cd /usr/local/isabisac/
     2.6  $ ./bin/isabelle build -v -b Isac
     2.7 +$ ./bin/isabelle build -v -b libisabelle_Isac
     2.8  
     2.9  see ~~/etc/settings
    2.10    ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    2.11 @@ -37,4 +38,4 @@
    2.12    *}
    2.13    options [document = false (*, browser_info = true*)]
    2.14    theories Isac_Protocol 
    2.15 -    "~~/libisabelle-protocol/protocol/Protocol" "~~/libisabelle-protocol/operations/Basic"
    2.16 +    "~~/libisabelle-protocol/libisabelle/protocol/Protocol"