1.1 --- a/src/Tools/isac/Build_Isac.thy	Sun May 31 10:37:31 2015 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Tue Jun 09 09:37:29 2015 +0200
     1.3 @@ -51,6 +51,7 @@
     1.4  
     1.5     use     "print_exn_G.sml"
     1.6  *)         "Frontend/Frontend"
     1.7 +           "~/proto4/libisabelle/libisabelle/src/main/isabelle/Protocol/Protocol"
     1.8  
     1.9             "Knowledge/Build_Thydata" (*imports Isac.thy etc*)
    1.10  

     2.1 --- a/src/Tools/isac/Frontend/interface.sml	Sun May 31 10:37:31 2015 +0200
     2.2 +++ b/src/Tools/isac/Frontend/interface.sml	Tue Jun 09 09:37:29 2015 +0200
     2.3 @@ -9,7 +9,7 @@
     2.4  use"interface.sml";
     2.5  *)
     2.6  
     2.7 -signature INTERFACE =
     2.8 +signature MATH_ENGINE =
     2.9    sig
    2.10      val CalcTree : fmz list -> XML.tree
    2.11      val DEconstrCalcTree : calcID -> XML.tree
    2.12 @@ -63,7 +63,7 @@
    2.13  
    2.14  
    2.15  (*------------------------------------------------------------------*)
    2.16 -structure interface : INTERFACE =
    2.17 +structure Math_Engine : MATH_ENGINE =
    2.18  struct
    2.19  (*------------------------------------------------------------------*)
    2.20  
    2.21 @@ -809,5 +809,5 @@
    2.22  
    2.23  (*------------------------------------------------------------------*)
    2.24  end
    2.25 -open interface;
    2.26 +open Math_Engine;
    2.27  (*------------------------------------------------------------------*)