diff options
Diffstat (limited to 'org.tex')
-rw-r--r-- | org.tex | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -13,6 +13,3 @@ moeten gebruiken als we structurele operationele semantiek zouden gebruiken. In gedefinieerde regels. Hierbij gebruiken we \emph{CleanSmurf}, een zelfgemaakt programma dat \LaTeX-afleidingsbomen voor Smurfprogramma's kan genereren. Dit programma wordt in \autoref{sec:cleansmurf} toegelicht. - -\autoref{sec:planning} bevat een planning voor het afwerken van het werkstuk, -die uiteindelijk verwijderd zal worden. |