1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Feb 22 18:40:34 2023 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Fri Feb 24 16:14:28 2023 +0100
     1.3 @@ -264,6 +264,7 @@
     1.4    ML_file "MathEngBasic/rewrite.sml"
     1.5    ML_file "MathEngBasic/tactic.sml"
     1.6    ML_file "MathEngBasic/ctree.sml" (*if red, get the file into a text buffer -- this might clear*)
     1.7 +  ML_file "MathEngBasic/references.sml"
     1.8    ML_file "MathEngBasic/calculation.sml"
     1.9  
    1.10    ML_file "Specify/formalise.sml"
    1.11 @@ -301,13 +302,14 @@
    1.12    ML_file "BridgeLibisabelle/interface-xml.sml"     (*TODO after 2009-2*)
    1.13    ML_file "BridgeLibisabelle/interface.sml"
    1.14  
    1.15 -(** ) (* evaluated in Build_Isac.thy already *)
    1.16 +(**) (* evaluated in Build_Isac.thy already *)
    1.17    ML_file "BridgeJEdit/e-collect.sml"
    1.18    ML_file "BridgeJEdit/user-model.sml"
    1.19    ML_file "BridgeJEdit/template.sml"
    1.20    ML_file "BridgeJEdit/preliminary.sml"
    1.21 +  ML_file "BridgeJEdit/calculation.sml"
    1.22    ML_file "BridgeJEdit/vscode-example.sml"
    1.23 -( **)
    1.24 +(**)
    1.25  
    1.26    ML_file "Knowledge/delete.sml"
    1.27    ML_file "Knowledge/descript.sml"