diff options
author | Evi | 2016-05-14 15:58:35 +0200 |
---|---|---|
committer | Evi | 2016-05-14 15:58:35 +0200 |
commit | 8962431a7dce03507e3f84fb8e66a349a04fe057 (patch) | |
tree | 3431a60c8d8f981ac043d5067db5d4856eaea972 /rulespush.tex | |
parent | Cleanup (diff) |
verwerken feedback
Diffstat (limited to 'rulespush.tex')
-rw-r--r-- | rulespush.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rulespush.tex b/rulespush.tex index c14feae..230cace 100644 --- a/rulespush.tex +++ b/rulespush.tex @@ -11,7 +11,7 @@ \verb$\\$ = the \verb$\$ character. \end{quote} -De string tussen de aanhalingstekens word op de stack gezet, nadat escape +De string tussen de aanhalingstekens wordt op de stack gezet, nadat escape sequences eruit zijn gehaald middels de hulpfunctie $\unescapeop$. Het is, zoals het commentaar op de specificatie \cite{safalra} aangeeft, niet gedefinieerd wat er met ongeldige escape sequences gebeurt. |