
diff -r 9557a0b8a779 -r 004bbb5d4417 src/Tools/isac/Build_Isac.thy
--- a/src/Tools/isac/Build_Isac.thy	Sat Aug 01 13:54:53 2020 +0200
+++ b/src/Tools/isac/Build_Isac.thy	Sun Aug 02 12:32:34 2020 +0200
@@ -133,6 +133,11 @@
     ML_file "interface-xml.sml"
     ML_file interface.sml
 *)        "BridgeLibisabelle/BridgeLibisabelle"
+(*
+    theory Isac imports  "~~/src/Tools/isac/MathEngine/MathEngine"
+      ML_file parseC.sml
+  theory BridgeJEdit imports Isac    
+*)        "BridgeJEdit/BridgeJEdit"
 
           "Knowledge/Build_Thydata" (*imports Isac.thy etc*)
 




