doc-src/Ref/syntax.tex
changeset 5371 e27558a68b8d
parent 4597 a0bdee64194c
child 6343 97c697a32b73
--- a/doc-src/Ref/syntax.tex	Mon Aug 24 19:11:13 1998 +0200
+++ b/doc-src/Ref/syntax.tex	Mon Aug 24 19:12:13 1998 +0200
@@ -901,3 +901,9 @@
 %FIXME example (?)
 
 \index{token translations|)}
+
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "ref"
+%%% End: