1.1 --- a/test/Tools/isac/Knowledge/simplify.sml	Sun Aug 21 16:20:48 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/simplify.sml	Mon Aug 22 11:26:20 2022 +0200
     1.3 @@ -16,7 +16,8 @@
     1.4  val thy = @{theory "Simplify"};
     1.5  
     1.6  (*
     1.7 -  This test is postponed, because respective user-requirements are not clarified.
     1.8 +  This test is postponed within Isabelle/PIDE/isac development, 
     1.9 +  because respective user-requirements are not clarified.
    1.10    See test/../cas-command.sml --- start Calculation with CAS_Cmd ---
    1.11    and test/../Test_VSCode_Example.thy subsubsection \<open>Start Example with a CAS_Cmd\<close>
    1.12    "----------- CAS-command Simplify -----------------------";