1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Aug 29 09:04:36 2023 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Aug 30 06:37:56 2023 +0200
     1.3 @@ -181,7 +181,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 @@ -216,7 +216,7 @@
    1.13    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/calculation.sml"
    1.14    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/vscode-example.sml"
    1.15  
    1.16 -(**)                               
    1.17 +( **)                               
    1.18  ML \<open>
    1.19  \<close> ML \<open>
    1.20  \<close> ML \<open>