1.1 --- a/src/Tools/isac/ROOT	Wed Aug 29 11:27:22 2018 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Tue Sep 04 14:50:30 2018 +0200
     1.3 @@ -29,7 +29,6 @@
     1.4    options [document = false (*, browser_info = true*)]
     1.5    theories Build_Isac
     1.6  
     1.7 -(*//----- update Isabelle2017 -> Isabelle2018 without libisabelle, see libisabelle_DUMMY ---------
     1.8  session libisabelle_Isac  = HOL +
     1.9    description {*
    1.10      Isac core, prototype of a math-engine and knowledge for engineering math
    1.11 @@ -41,6 +40,7 @@
    1.12      For installation see http://www.ist.tugraz.at/isac
    1.13    *}
    1.14    options [document = false (*, browser_info = true*)]
    1.15 -  theories Isac_Protocol 
    1.16 -    "~~/libisabelle-protocol/libisabelle/protocol/Protocol"
    1.17 ------ update Isabelle2017 -> Isabelle2018 without libisabelle, see libisabelle_DUMMY ---------//*)
    1.18 +  sessions
    1.19 +    Protocol
    1.20 +  theories
    1.21 +    Isac_Protocol