1.1 --- a/doc/GK/GK_bachelor_thesis.tex	Tue Apr 10 16:46:45 2007 +0200
     1.2 +++ b/doc/GK/GK_bachelor_thesis.tex	Tue Apr 10 17:53:11 2007 +0200
     1.3 @@ -124,6 +124,11 @@
     1.4  
     1.5  \end{itemize}
     1.6  
     1.7 +This task belongs to the research field of 'user-interfaces for interactive theorem provers'. This is a research field since theorem provers became successful by more interactivity \cite{thiery92}. \sisac{} is based on the theorem prover Isabelle \cite{Nipkow-Paulson-Wenzel:2002}; for Isabelle there is a user-interface \cite{aspinall:proof-gen}, which has been adapted from a generic version.
     1.8 +
     1.9 +This research area gives some general hints for \sisac s user-interfaces; however, the major differences between \sisac{} and a theorem prover do not allow a direct transfer of design elements or of tools.
    1.10 +
    1.11 +
    1.12  % INTRODUCTION - END
    1.13  
    1.14  % USER REQUIREMENTS - BEGIN
    1.15 @@ -316,7 +321,7 @@
    1.16  
    1.17  \chapter{Architectural Design}
    1.18  %WN050518---AK.p.61-62->isac-ADD--------BEGIN---please don't remove this line
    1.19 -\footnote{Begin of modified parts from \cite{AK04:thesis} p.61-62.}
    1.20 +\footnote{Begin of updated parts from \cite{AK04:thesis} p.61-62.}
    1.21  %\subsubsection{Browsing the Knowledge Base}
    1.22  \section{The Dialogue Controllers}\label{WN-add-BDialog-WSDialog}
    1.23  %WN060324--->thesis.ML-----------------BEGIN---please don't remove this line
    1.24 @@ -377,7 +382,7 @@
    1.25  browsing the knowledge and calculating}
    1.26  \label{fig.sysdesign_seeheim}
    1.27  \end{figure}
    1.28 -\footnote{End of modified parts from \cite{AK04:thesis} p.61-62.}
    1.29 +\footnote{End of updated parts from \cite{AK04:thesis} p.61-62.}
    1.30  %WN050518---AK.p.61-62->isac-ADD--------END---please don't remove this line
    1.31  
    1.32  %WN000705---summerterm06------------BEGIN---please don't remove this line
    1.33 @@ -457,7 +462,7 @@
    1.34  
    1.35  \chapter{Software Design and  Implementation}\label{WN-sdd-BrowserDialogs}
    1.36  
    1.37 -The figure fig.\ref{fig.RK-browserdialoges} p.\pageref{fig.RK-browserdialoges} shows the class diagram for the browser dialoges.
    1.38 +The figure Fig.\ref{fig.RK-browserdialoges} p.\pageref{fig.RK-browserdialoges} shows the class diagram for the browser dialoges.
    1.39  
    1.40  \begin{figure}[htb]
    1.41  \centerline{\includegraphics[width=\textwidth, keepaspectratio=true]{fig/RK-browserdialoges}}
    1.42 @@ -619,6 +624,6 @@
    1.43  
    1.44  % CONCLUSION - END
    1.45  
    1.46 -\bibliography{bib/isac}
    1.47 +\bibliography{bib/isac,bib/from-theses,bib-GK}
    1.48  
    1.49  \end{document}
    1.50 \ No newline at end of file