1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Feb 14 10:50:12 2018 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Feb 14 10:54:53 2018 +0100
     1.3 @@ -253,7 +253,7 @@
     1.4  subsection {* isac on Isabelle2015 *}
     1.5  subsubsection {* Summary of development *}
     1.6  text {*
     1.7 -  * Add signatures from top of thy-hierarchy down to Interpret, not ProgLang.
     1.8 +  * Add signatures from top of thy-hierarchy down to Interpret (not ProgLang).
     1.9      This complicates Test_Isac, see "Prepare running tests" above.
    1.10    * Remove TTY interface.
    1.11    * Re-activate insertion sort.