summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCamil Staps2016-04-29 17:24:44 +0200
committerCamil Staps2016-04-29 17:24:44 +0200
commitb0e06d2c58f62e1ebebfb2515dc4612498626fae (patch)
treece59caeb89b4df90cd965d5d436248b6579f4956
parentanalyse & planning aan organisatie toegevoegd (diff)
oops
-rw-r--r--org.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/org.tex b/org.tex
index 434e674..dff2a3e 100644
--- a/org.tex
+++ b/org.tex
@@ -7,8 +7,8 @@ programmatoestand en de transities in de natuurlijke semantiek die we gaan
definiëren. \autoref{sec:rules} beschrijft vervolgens per statement in de
syntax de formele semantiek. Hierbij baseren we ons op de Smurf specificatie
\cite{safalra}, waarbij we dingen verhelderen en ongedefinieerd gedrag
-definiëren. In \autoref{sec:anal} bekijken we een stuk code aan de hand van de
-gedefinieerde regels.
+definiëren. In \autoref{sec:analyse} bekijken we een stuk code aan de hand van
+de gedefinieerde regels.
\autoref{sec:planning} bevat een planning voor het afwerken van het werkstuk,
die uiteindelijk verwijderd zal worden.