summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorW-M-T2016-04-29 15:17:13 +0200
committerW-M-T2016-04-29 15:17:13 +0200
commit8459ceb2a9a53d900754e8ab307b7fcdb1e8908f (patch)
tree1c50f740c82ff456f43073a21262cb3c6d601a4a
parentspelling/structure (diff)
Removed weird extra spaces
-rw-r--r--rulesoutput.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex
index 739ced0..7bdc741 100644
--- a/rulesoutput.tex
+++ b/rulesoutput.tex
@@ -5,11 +5,11 @@
o - Output the string at the top of the stack
\end{quote}
- Net als bij het inputcommando gaan we op een abstracte wijze met de output om.
+ Net als bij het inputcommando gaan we op een abstracte wijze met de output om.
We houden gedurende het hele programma een stack van strings, genaamd $\Output$ bij
waar het programma zijn output naar wegschrijft.
- Dit geeft de volgende regel:
+Dit geeft de volgende regel:
$$
\prooftree