1.1 --- a/doc-isac/msteger/bakk-arbeit/content.tex	Mon Oct 31 18:28:36 2022 +0100
     1.2 +++ b/doc-isac/msteger/bakk-arbeit/content.tex	Mon Nov 07 17:37:20 2022 +0100
     1.3 @@ -253,10 +253,10 @@
     1.4      val str1: String = ``TEST'' //isabelle.Isac.parse(``Testdaten aus dem Parser!'')
     1.5    \item nochmals Men\"u $>$ Build (Hammer) \dots successful (wegen auskommentierter Zeile)
     1.6    \item in der Konsole beobachten, welche Files kopiert werden und vergleichen mit {\tt build.xml}, z.B. 
     1.7 -     $<$target name=''-pre-jar''$>$
     1.8 +     $<$target name=''-where_-jar''$>$
     1.9       $<$target name=''-post-jar''$>$
    1.10    \item {\tt bin/testSD} ausf\"uhren \dots
    1.11 -  \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}
    1.12 +  \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}
    1.13    \item\label{build-intermed-end} den Zwischenschritt Pkt.\ref{build-intermed} oben r\"uckg\"angig machen:\\
    1.14      ``val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')".\\
    1.15      Dieser Befehl braucht das {\em neue} {\tt Pure.jar} am richtigen Platz \dots