1.1 --- a/src/Tools/isac/ROOT	Mon Aug 27 17:14:23 2018 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Tue Aug 28 11:34:55 2018 +0200
     1.3 @@ -29,6 +29,7 @@
     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 @@ -42,3 +43,4 @@
    1.12    options [document = false (*, browser_info = true*)]
    1.13    theories Isac_Protocol 
    1.14      "~~/libisabelle-protocol/libisabelle/protocol/Protocol"
    1.15 +----- update Isabelle2017 -> Isabelle2018 without libisabelle, see libisabelle_DUMMY ---------//*)