todo laastste, alle spelfouten door gevoerd

diff --git a/an_faculteit.tex b/an_faculteit.tex
index 59fd921..72ce647 100644 (file)
--- a/an_faculteit.tex
+++ b/an_faculteit.tex
@@ -1,7 +1,8 @@
 \subsection{Faculteit}
 Als we de analyse op een compleet programma toepassen komt er een \textit{Piet}
-programma uit dat behoorlijk fors is maar netjes zijn werk doet. Dit programma
-berekent de faculteit van $x$ en stopt dat uiteindelijk in $y$.
+programma uit dat behoorlijk fors is maar netjes zijn werk doet. Het programma
+dat we gaan vertalen berekent de faculteit van $x$ en stopt dat uiteindelijk in
+$y$.
 \begin{lstlisting}[title=Faculteit in \textit{While}]
 x:=5;
 y:=1;
@@ -12,14 +13,14 @@ do (
 )
 \end{lstlisting}
 
-In \textit{Piet} ziet dit er als volgt uit...
+In \textit{Piet'} ziet dit er als volgt uit...
 \begin{lstlisting}[title=Faculteit in \textit{Piet'}]
 push 10     // x:=5
 push 1      // y:=1
 
 MARKERING A:
             // Un(2)
-            // $\neg$(x=1) $\equiv$ \neg(x-1)>0)
+            // $\neg$(x=1) $\equiv$ $\neg$(x-1)>0)
 
 
             // x-1
@@ -87,9 +88,9 @@ roll
             // nu gaat het programma weer via een wit pad naar markering A
 \end{lstlisting}
 
-Wat in piet er uit zit als in \ref{fig:img3}
+Wat in \textit{Piet} er uit ziet als in Figuur~\ref{fig:img3}
 \begin{figure}[H]
-       \caption{Factulteit vanuit \textit{While} naar \textit{Piet}}
+       \caption{Faculteit vanuit \textit{While} naar \textit{Piet}}
        \label{fig:img3}
        \centering
        \fbox{\includegraphics[natheight=320px, natwidth=256px, height=320px,
@@ -128,4 +129,4 @@ eenfaculteit worden alle wiskundige operaties die bij de commando's horen
 achter elkaar uitgevoerd op de stack, waarbij het resultaat [1,1] is.\\
 Bij de voorbeelden staan ook nog de programma's tweefaculteit en 
 vijffaculteit die respectievelijk 2! en 5! uitrekenen.
-\end{landscape}
\ No newline at end of file
+\end{landscape}

diff --git a/todo.txt b/todo.txt
index 66df979..114240b 100644 (file)
--- a/todo.txt
+++ b/todo.txt
@@ -1,4 +1,5 @@
-Bochten uitleggen(analysis.tex)
-Semantics(marjolein)
-Uitleggen waarom piet' verschijnt in expressies(an_arit_expr.tex)
-Get functie uitleggen in unair
+Mart: Bochten uitleggen(analysis.tex)
+Mart: Semantics(marjolein)
+Mart: Uitleggen waarom piet' verschijnt in expressies(an_arit_expr.tex)
+Marjolein: Get functie uitleggen in unair
+Marjolein: Kijken naar de laatste zaken over dat clean gebeuren