1.1 --- a/src/Tools/isac/Build_Isac.thy	Thu Feb 16 16:20:10 2023 +0100
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sun Feb 19 10:29:58 2023 +0100
     1.3 @@ -201,6 +201,7 @@
     1.4    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/790-complete.sml"
     1.5    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/800-append-on-Frm.sml"
     1.6  ( **)                               
     1.7 +  ML_file "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/user-model.sml"
     1.8    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/preliminary.sml"
     1.9    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/vscode-example.sml"
    1.10