1.1 --- a/test/Tools/isac/Test_Isac.thy	Sun Jun 19 16:10:11 2022 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Sun Jun 19 16:55:13 2022 +0200
     1.3 @@ -275,6 +275,8 @@
     1.4    ... SAME ERROR HERE ON ISABELLE2012 AS IN ISAC ON ISABELLE2011*)
     1.5  
     1.6    ML_file "BridgeJEdit/parseC.sml"
     1.7 +  ML_file "BridgeJEdit/preliminary.sml"
     1.8 +  ML_file "BridgeJEdit/vscode-example.sml"
     1.9  
    1.10    ML_file "Knowledge/delete.sml"
    1.11    ML_file "Knowledge/descript.sml"