
diff -r b7071d1dd263 -r 007ef64dbb08 doc-isac/msteger/bakk-arbeit/content.tex
--- a/doc-isac/msteger/bakk-arbeit/content.tex	Mon Oct 31 18:28:36 2022 +0100
+++ b/doc-isac/msteger/bakk-arbeit/content.tex	Mon Nov 07 17:37:20 2022 +0100
@@ -253,10 +253,10 @@
     val str1: String = ``TEST'' //isabelle.Isac.parse(``Testdaten aus dem Parser!'')
   \item nochmals Men\"u $>$ Build (Hammer) \dots successful (wegen auskommentierter Zeile)
   \item in der Konsole beobachten, welche Files kopiert werden und vergleichen mit {\tt build.xml}, z.B. 
-     $<$target name=''-pre-jar''$>$
+     $<$target name=''-where_-jar''$>$
      $<$target name=''-post-jar''$>$
   \item {\tt bin/testSD} ausf\"uhren \dots
-  \item =dots stellt den entscheidender Schritt dar: ein neues {\tt Pure.jar} wurde erzeugt; dieses ist nun erweitert mit einer class {\tt Isac}; diese Klasse wurde erzeugt durch Code in \\{\tt scr/Pure/Isac/isac.scala}
+  \item =dots stellt den entscheidender Schritt dar: ein neues {\tt Pure.jar} wurde erzeugt; dieses ist nun erweitert mit einer class {\tt Isac}; diese Klasse wurde erzeugt durch Code in \\{\tt program/Pure/Isac/isac.scala}
   \item\label{build-intermed-end} den Zwischenschritt Pkt.\ref{build-intermed} oben r\"uckg\"angig machen:\\
     ``val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')".\\
     Dieser Befehl braucht das {\em neue} {\tt Pure.jar} am richtigen Platz \dots




