diff options
Diffstat (limited to 'rulesexec.tex')
| -rw-r--r-- | rulesexec.tex | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/rulesexec.tex b/rulesexec.tex index 0ac3e10..26d264f 100644 --- a/rulesexec.tex +++ b/rulesexec.tex @@ -53,6 +53,5 @@ $$ Het tweede geval van $\parsestrop$ zorgt ervoor dat ge-escapete aanhalingstekens de string niet beëindigen. Hierbij gebruiken we $\unescapeop$ -om bepaalde karakters te unescapen. Zie voor de definitie van deze regel +om bepaalde karakters te unescapen. Deze functie is gedefinieerd in \autoref{sec:rules:push}. - |