1.1 --- a/doc-src/isac/msteger/official_docu/Doku.tex	Tue Jun 28 15:14:12 2011 +0200
     1.2 +++ b/doc-src/isac/msteger/official_docu/Doku.tex	Tue Jun 28 16:25:19 2011 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -^\chapter{Definition der Aufgabenstellung}
     1.5 +\chapter{Definition der Aufgabenstellung}
     1.6  \section{Detaillierte Beschreibung der Aufgabenstellung}
     1.7  Zu Beginn des Projekts wurden einige Vorgaben und Ziele des Projektes erarbeitet und im Laufe des Projekts etwas angepasst. Es wurde bewusst auf eine zu einschr\"ankende Aufgabenstellung verzichtet, da Entwicklungen und Erarbeitungen von verschiedenen Umsetzungsstrategien erw\"unscht war. 
     1.8  
     1.9 @@ -230,26 +230,34 @@
    1.10        \begin{enumerate}
    1.11        \item grep -r "project.jEdit" *
    1.12        \item nbproject/project.properties:project.jEdit=contrib/jEdit
    1.13 -      \item 
    1.14 -      \item 
    1.15 -
    1.16 -        \begin{itemize}
    1.17 -        \item 
    1.18 -          \begin{itemize}
    1.19 -          \item 
    1.20 -          \item 
    1.21 -          \item 
    1.22 -          \end{itemize}
    1.23 -        \item 
    1.24 -        \item 
    1.25 -        \end{itemize}
    1.26 -      \item 
    1.27 -      \item 
    1.28 +      \item TODO?
    1.29        \end{enumerate}
    1.30 -    \item 
    1.31 -    \item 
    1.32      \end{enumerate}
    1.33    \end{enumerate}
    1.34 +\item error in project files, not in build.xml etc (1)
    1.35 +  \begin{enumerate}
    1.36 +  \item follow link to testSD.scala:22
    1.37 +  \item val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\
    1.38 +        val str1: String = ``TEST'' //isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\
    1.39 +  \item build once again ... successful\\
    1.40 +  \item watch in console what is being copied and compare build.xml, 
    1.41 +          $<$target name=''-pre-jar''$>$
    1.42 +          $<$target name=''-post-jar''$>$
    1.43 +  \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
    1.44 +  \item restore ``val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')" requires new Pure.jar at the right place \dots
    1.45 +  \item \dots the shellscript bin/testSD\_jedit creates this new Pure.jar
    1.46 +  \end{enumerate}
    1.47 +\item error in bin/testSD
    1.48 +  \begin{enumerate}
    1.49 +  \item look at error messages, eg. src/Pure/: no such file or directory \dots
    1.50 +  \item \dots means that the script has not been started from $\approx\approx$ --- this behaviour shall be improved a.s.a.p.
    1.51 +  \item function test: \\
    1.52 +        \#\#\#\\
    1.53 +        \#\#\# Building Isabelle/Scala layer\\
    1.54 +        \#\#\#\\
    1.55 +  \item 
    1.56 +  \item 
    1.57 +  \end{enumerate}
    1.58  $<$ $>$
    1.59  Men\"u $>$  $>$ $>$  $>$ $>$  $>$
    1.60  ``Project''-View $>$ rightMouse $>$ $>$  $>$ $>$  $>$