1.1 --- a/doc-isac/msteger/official_docu/Doku.tex	Mon Oct 31 18:28:36 2022 +0100
     1.2 +++ b/doc-isac/msteger/official_docu/Doku.tex	Mon Nov 07 17:37:20 2022 +0100
     1.3 @@ -241,9 +241,9 @@
     1.4          val str1: String = ``TEST'' //isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\
     1.5    \item build once again ... successful\\
     1.6    \item watch in console what is being copied and compare build.xml, 
     1.7 -          $<$target name=''-pre-jar''$>$
     1.8 +          $<$target name=''-where_-jar''$>$
     1.9            $<$target name=''-post-jar''$>$
    1.10 -  \item essential: a new Pure.jar has been generated, which has been extended with a new class ``Isac''; this class has been defined in scr/Pure/Isac/isac.scala
    1.11 +  \item essential: a new Pure.jar has been generated, which has been extended with a new class ``Isac''; this class has been defined in program/Pure/Isac/isac.scala
    1.12    \item restore ``val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')" requires new Pure.jar at the right place \dots
    1.13    \item \dots the shellscript bin/testSD\_jedit creates this new Pure.jar
    1.14    \end{enumerate}