
diff -r b7071d1dd263 -r 007ef64dbb08 doc-isac/msteger/official_docu/Doku.tex
--- a/doc-isac/msteger/official_docu/Doku.tex	Mon Oct 31 18:28:36 2022 +0100
+++ b/doc-isac/msteger/official_docu/Doku.tex	Mon Nov 07 17:37:20 2022 +0100
@@ -241,9 +241,9 @@
         val str1: String = ``TEST'' //isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\
   \item build once again ... successful\\
   \item watch in console what is being copied and compare build.xml, 
-          $<$target name=''-pre-jar''$>$
+          $<$target name=''-where_-jar''$>$
           $<$target name=''-post-jar''$>$
-  \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
+  \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
   \item restore ``val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')" requires new Pure.jar at the right place \dots
   \item \dots the shellscript bin/testSD\_jedit creates this new Pure.jar
   \end{enumerate}




