251 \item\label{build-intermed} als Zwischenschritt eine noch nicht erzeugte Class ``Isac'' auskommentieren; siehe Pkt.\ref{build-intermed-end} unten\\ |
251 \item\label{build-intermed} als Zwischenschritt eine noch nicht erzeugte Class ``Isac'' auskommentieren; siehe Pkt.\ref{build-intermed-end} unten\\ |
252 val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\ |
252 val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\ |
253 val str1: String = ``TEST'' //isabelle.Isac.parse(``Testdaten aus dem Parser!'') |
253 val str1: String = ``TEST'' //isabelle.Isac.parse(``Testdaten aus dem Parser!'') |
254 \item nochmals Men\"u $>$ Build (Hammer) \dots successful (wegen auskommentierter Zeile) |
254 \item nochmals Men\"u $>$ Build (Hammer) \dots successful (wegen auskommentierter Zeile) |
255 \item in der Konsole beobachten, welche Files kopiert werden und vergleichen mit {\tt build.xml}, z.B. |
255 \item in der Konsole beobachten, welche Files kopiert werden und vergleichen mit {\tt build.xml}, z.B. |
256 $<$target name=''-pre-jar''$>$ |
256 $<$target name=''-where_-jar''$>$ |
257 $<$target name=''-post-jar''$>$ |
257 $<$target name=''-post-jar''$>$ |
258 \item {\tt bin/testSD} ausf\"uhren \dots |
258 \item {\tt bin/testSD} ausf\"uhren \dots |
259 \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} |
259 \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} |
260 \item\label{build-intermed-end} den Zwischenschritt Pkt.\ref{build-intermed} oben r\"uckg\"angig machen:\\ |
260 \item\label{build-intermed-end} den Zwischenschritt Pkt.\ref{build-intermed} oben r\"uckg\"angig machen:\\ |
261 ``val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')".\\ |
261 ``val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')".\\ |
262 Dieser Befehl braucht das {\em neue} {\tt Pure.jar} am richtigen Platz \dots |
262 Dieser Befehl braucht das {\em neue} {\tt Pure.jar} am richtigen Platz \dots |
263 \item \dots das Shellscript {\tt bin/testSD\_jedit} erzeugt dieses {\tt Pure.jar} |
263 \item \dots das Shellscript {\tt bin/testSD\_jedit} erzeugt dieses {\tt Pure.jar} |
264 \end{enumerate} |
264 \end{enumerate} |