diff options
author | W-M-T | 2016-04-29 15:17:13 +0200 |
---|---|---|
committer | W-M-T | 2016-04-29 15:17:13 +0200 |
commit | 8459ceb2a9a53d900754e8ab307b7fcdb1e8908f (patch) | |
tree | 1c50f740c82ff456f43073a21262cb3c6d601a4a | |
parent | spelling/structure (diff) |
Removed weird extra spaces
-rw-r--r-- | rulesoutput.tex | 4 |
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 |