1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Wed Nov 23 11:14:38 2022 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Thu Nov 24 18:07:17 2022 +0100
     1.3 @@ -299,6 +299,7 @@
     1.4    ML_file "BridgeLibisabelle/thy-hierarchy.sml"
     1.5    ML_file "BridgeLibisabelle/interface-xml.sml"     (*TODO after 2009-2*)
     1.6    ML_file "BridgeLibisabelle/interface.sml"
     1.7 +
     1.8    ML_file "BridgeJEdit/parseC.sml"
     1.9    ML_file "BridgeJEdit/preliminary.sml"
    1.10    ML_file "BridgeJEdit/vscode-example.sml"
    1.11 @@ -349,12 +350,6 @@
    1.12  
    1.13  section \<open>further tests additional to src/.. files\<close>
    1.14    ML_file "BridgeLibisabelle/use-cases.sml"
    1.15 -ML \<open>
    1.16 -\<close> ML \<open>
    1.17 -\<close> ML \<open>
    1.18 -\<close> ML \<open>
    1.19 -\<close> ML \<open>
    1.20 -\<close>
    1.21  
    1.22    ML \<open>"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";\<close>
    1.23    ML \<open>"%%%%%%%%%%%%%%%%% end Test_Isac %%%%%%%%%%%%%%%%%%%%%%%%";\<close>