1.1 --- a/src/Tools/isac/Build_Isac.thy	Fri Jan 22 12:31:19 2021 +0100
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Fri Jan 22 14:56:44 2021 +0100
     1.3 @@ -137,7 +137,7 @@
     1.4      theory Isac imports  "~~/src/Tools/isac/MathEngine/MathEngine"
     1.5        ML_file parseC.sml
     1.6    theory BridgeJEdit imports Isac    
     1.7 -( ** )    "BridgeJEdit/BridgeJEdit"( **)
     1.8 +( **)    "BridgeJEdit/BridgeJEdit"  (*DEactivate after devel.of BridgeJEdit*)
     1.9  
    1.10            "Knowledge/Build_Thydata" (*imports Isac.thy etc*)
    1.11