
diff -r c421bae56b93 -r f01072d28542 src/Tools/isac/Build_Isac.thy
--- a/src/Tools/isac/Build_Isac.thy	Fri Jan 22 12:31:19 2021 +0100
+++ b/src/Tools/isac/Build_Isac.thy	Fri Jan 22 14:56:44 2021 +0100
@@ -137,7 +137,7 @@
     theory Isac imports  "~~/src/Tools/isac/MathEngine/MathEngine"
       ML_file parseC.sml
   theory BridgeJEdit imports Isac    
-( ** )    "BridgeJEdit/BridgeJEdit"( **)
+( **)    "BridgeJEdit/BridgeJEdit"  (*DEactivate after devel.of BridgeJEdit*)
 
           "Knowledge/Build_Thydata" (*imports Isac.thy etc*)
 




