1.1 --- a/src/Tools/isac/Build_Isac.thy	Sun Aug 20 08:54:01 2023 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sat Aug 26 10:51:35 2023 +0200
     1.3 @@ -180,7 +180,7 @@
     1.4    As next step we go bottom up from Thy_Info.get_theory and remove it.
     1.5    Afterwards $ISABELLE_ISAC_TEST will be changed accordingly.
     1.6  \<close>
     1.7 -(**) (* evaluated in Test_Isac/_Short *)
     1.8 +(**) (* evaluated in Test_Isac/_Short * )
     1.9    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/000-comments.sml"
    1.10    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/100-init-rootpbl.sml"
    1.11    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/150a-add-given-Maximum.sml"
    1.12 @@ -214,7 +214,8 @@
    1.13    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/preliminary.sml"
    1.14    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/calculation.sml"
    1.15    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/vscode-example.sml"
    1.16 -(**)                               
    1.17 +
    1.18 +( **)                               
    1.19  ML \<open>
    1.20  \<close> ML \<open>
    1.21  \<close> ML \<open>