1.1 --- a/doc-src/isac/jrocnik/preambleForGeneratedDocuments.tex Mon Feb 20 18:31:00 2012 +0100
1.2 +++ b/doc-src/isac/jrocnik/preambleForGeneratedDocuments.tex Wed Mar 07 15:29:02 2012 +0100
1.3 @@ -1,3 +1,5 @@
1.4 \section*{Preamble}
1.5 -This document shows the main structure of an {\sisac{}} theory. All of the following part is automatically generated out of an {\sisac{}}-theory file (.thy - extension). In this case the file is called \texttt{Build\_Inverse\_Z\_Transform} it can be found in the {\sisac{}} directory: \texttt{test/Tools/isac/ADDTESTS/course/}. {\sisac{}} provides inbuild tools for translating theories into latex documents. To set up such an envoriemt a file called \texttt{isacmakefile} is needed. Further information about this automatic generation can be found in \cite{wenzel2011system}.
1.6 -\par The following theory can be modified and used as a guiedline for implementing new applications. Everything found here is just a snapshot of the work by \today.
1.7 \ No newline at end of file
1.8 +This part gives a detailed review on the development and testing process of new programms. All of the following part is automatically generated out of an {\sisac{}}-theory file (\texttt{.thy} - extension). In this case the file is called \texttt{Build\_Inverse\_Z\_Transform} it can be found in the {\sisac{}} directory:
1.9 +\begin{center}\texttt{test/Tools/isac/ADDTESTS/course/}\end{center}
1.10 +{\sisac{}} provides inbuild tools for translating theories into latex documents. To set up such an envoriemt a file called \texttt{isacmakefile} is needed. Further information about this automatic generation can be found in \cite{wenzel2011system}.
1.11 +\par The following theory can be modified and used as a guiedline for implementing new material. Everything found here is just a snapshot of the work by \today.
1.12 \ No newline at end of file