1.1 --- a/src/Tools/isac/ROOT	Tue Feb 06 15:22:32 2018 +0100
     1.2 +++ b/src/Tools/isac/ROOT	Tue Feb 06 15:24:03 2018 +0100
     1.3 @@ -5,6 +5,7 @@
     1.4  $ export ISABELLE_VERSION=2015 # for libisabelle
     1.5  $ cd /usr/local/isabisac/
     1.6  $ ./bin/isabelle build -v -b Isac
     1.7 +$ ./bin/isabelle build -v -b libisabelle_Isac
     1.8  
     1.9  see ~~/etc/settings
    1.10    ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.11 @@ -37,4 +38,4 @@
    1.12    *}
    1.13    options [document = false (*, browser_info = true*)]
    1.14    theories Isac_Protocol 
    1.15 -    "~~/libisabelle-protocol/protocol/Protocol" "~~/libisabelle-protocol/operations/Basic"
    1.16 +    "~~/libisabelle-protocol/libisabelle/protocol/Protocol"