
diff -r 79e5b6eec425 -r f5d9bceb4dc0 src/Doc/isac/jrocnik/preambleForGeneratedDocuments.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Doc/isac/jrocnik/preambleForGeneratedDocuments.tex	Sun Jul 14 14:48:14 2013 +0200
@@ -0,0 +1,5 @@
+\section*{Preamble}
+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: 
+\begin{center}\texttt{test/Tools/isac/ADDTESTS/course/}\end{center}
+{\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}.
+\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.
\ No newline at end of file




