1.1 --- a/src/Tools/isac/Build_Isac.thy	Wed Sep 04 10:17:53 2019 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Tue Sep 10 10:47:18 2019 +0200
     1.3 @@ -69,13 +69,10 @@
     1.4    ML_file "thy-hierarchy.sml" 
     1.5    ML_file "interface-xml.sml"
     1.6    ML_file interface.sml
     1.7 -*)        "BridgeLibisabelle/BridgeLibisabelle"
     1.8 +          "BridgeLibisabelle/BridgeLibisabelle"
     1.9 +*)
    1.10  
    1.11 -           "Knowledge/Build_Thydata" (*imports Isac.thy etc*)
    1.12 -
    1.13 -           (* the Protocol for the connection isac-java -- Isabelle/Isac is built separately:
    1.14 -              here we partly check consistency libisabelle/Isac -- Isabelle/Isac: *)
    1.15 -           Protocol.Protocol
    1.16 +          "Knowledge/Build_Thydata" (*imports Isac.thy etc*)
    1.17  
    1.18  (*//-----------------------------------------------------------------------------------------\\*)
    1.19  (*\\-----------------------------------------------------------------------------------------//*)