equal
deleted
inserted
replaced
239 \item follow link to testSD.scala:22 |
239 \item follow link to testSD.scala:22 |
240 \item val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\ |
240 \item val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\ |
241 val str1: String = ``TEST'' //isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\ |
241 val str1: String = ``TEST'' //isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\ |
242 \item build once again ... successful\\ |
242 \item build once again ... successful\\ |
243 \item watch in console what is being copied and compare build.xml, |
243 \item watch in console what is being copied and compare build.xml, |
244 $<$target name=''-pre-jar''$>$ |
244 $<$target name=''-where_-jar''$>$ |
245 $<$target name=''-post-jar''$>$ |
245 $<$target name=''-post-jar''$>$ |
246 \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 |
246 \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 |
247 \item restore ``val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')" requires new Pure.jar at the right place \dots |
247 \item restore ``val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')" requires new Pure.jar at the right place \dots |
248 \item \dots the shellscript bin/testSD\_jedit creates this new Pure.jar |
248 \item \dots the shellscript bin/testSD\_jedit creates this new Pure.jar |
249 \end{enumerate} |
249 \end{enumerate} |
250 \item error in bin/testSD |
250 \item error in bin/testSD |
251 \begin{enumerate} |
251 \begin{enumerate} |