1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Sun Feb 19 13:03:54 2023 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Mon Feb 20 12:33:23 2023 +0100
     1.3 @@ -301,9 +301,13 @@
     1.4    ML_file "BridgeLibisabelle/interface-xml.sml"     (*TODO after 2009-2*)
     1.5    ML_file "BridgeLibisabelle/interface.sml"
     1.6  
     1.7 -  ML_file "BridgeJEdit/parseC.sml"
     1.8 +(** ) (* evaluated in Build_Isac.thy already *)
     1.9 +  ML_file "BridgeJEdit/e-collect.sml"
    1.10 +  ML_file "BridgeJEdit/user-model.sml"
    1.11 +(*ML_file "BridgeJEdit/template.sml"*)
    1.12    ML_file "BridgeJEdit/preliminary.sml"
    1.13    ML_file "BridgeJEdit/vscode-example.sml"
    1.14 +( **)
    1.15  
    1.16    ML_file "Knowledge/delete.sml"
    1.17    ML_file "Knowledge/descript.sml"