1.1 --- a/doc-src/isac/jrocnik/present-1.tex	Tue Jul 26 09:53:53 2011 +0200
     1.2 +++ b/doc-src/isac/jrocnik/present-1.tex	Wed Jul 27 08:00:24 2011 +0200
     1.3 @@ -306,7 +306,7 @@
     1.4  \begin{tabbing}
     1.5  1\=postcond \=: \= \= $\;\;\;\;$\=\kill
     1.6  \>given    \>:\>  Expression of z \\
     1.7 -\>         \> \>  \>(X (z::real\,+z::imag),3/(z-1/4-1/8\,z\textasciicircum{}(-1)))\\
     1.8 +\>         \> \>  \>(X (z::complex),3/(z-1/4-1/8\,z\textasciicircum{}(-1)))\\
     1.9  \>precond  \>:\>  TODO\\
    1.10  \>find     \>:\>  Expression of n\\
    1.11  \>         \> \>  \>$h[n]$\\
    1.12 @@ -388,7 +388,7 @@
    1.13  
    1.14  \item Pre and Post conditions
    1.15  \item Exact mathematic behind functions
    1.16 -\item accurate mathematic notation
    1.17 +\item Accurate mathematic notation
    1.18  
    1.19  \end{itemize}
    1.20  }