# HG changeset patch
# User Walther Neuper <wneuper@ist.tugraz.at>
# Date 1535448895 -7200
# Node ID d7d5ce50faf20ea526a5ca218caf2545a047cd16
# Parent  ddba76eec47e38907bc0a7d942ab5bafb3c14ec7
Isabelle2017->18: avoid libisabelle ERROR in ROOT, cf.7b2998e11662

diff -r ddba76eec47e -r d7d5ce50faf2 src/Tools/isac/ROOT
--- a/src/Tools/isac/ROOT	Mon Aug 27 17:14:23 2018 +0200
+++ b/src/Tools/isac/ROOT	Tue Aug 28 11:34:55 2018 +0200
@@ -29,6 +29,7 @@
   options [document = false (*, browser_info = true*)]
   theories Build_Isac
 
+(*//----- update Isabelle2017 -> Isabelle2018 without libisabelle, see libisabelle_DUMMY ---------
 session libisabelle_Isac  = HOL +
   description {*
     Isac core, prototype of a math-engine and knowledge for engineering math
@@ -42,3 +43,4 @@
   options [document = false (*, browser_info = true*)]
   theories Isac_Protocol 
     "~~/libisabelle-protocol/libisabelle/protocol/Protocol"
+----- update Isabelle2017 -> Isabelle2018 without libisabelle, see libisabelle_DUMMY ---------//*)