From eef20fa404f11fda0b9f73da1a3ee41db3201062 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Tue, 29 Nov 2005 15:48:13 +0000
Subject: Added meta variables to transfer front-end and core.

---
 src/Transfer/Syntax/Doc.tex | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Transfer/Syntax/Doc.tex')

diff --git a/src/Transfer/Syntax/Doc.tex b/src/Transfer/Syntax/Doc.tex
index d49729f19..ba8d22b1f 100644
--- a/src/Transfer/Syntax/Doc.tex
+++ b/src/Transfer/Syntax/Doc.tex
@@ -62,6 +62,7 @@ The symbols used in Syntax are the following: \\
 {\symb{{$<$}{$=$}}} &{\symb{{$>$}}} &{\symb{{$>$}{$=$}}} \\
 {\symb{{$+$}}} &{\symb{{$-$}}} &{\symb{*}} \\
 {\symb{/}} &{\symb{\%}} &{\symb{.}} \\
+{\symb{?}} & & \\
 \end{tabular}\\
 
 \subsection*{Comments}
@@ -235,6 +236,7 @@ All other symbols are terminals.\\
  & {\delimit}  &{\terminal{Type}}  \\
  & {\delimit}  &{\nonterminal{String}}  \\
  & {\delimit}  &{\nonterminal{Integer}}  \\
+ & {\delimit}  &{\terminal{?}}  \\
  & {\delimit}  &{\terminal{(}} {\nonterminal{Exp}} {\terminal{)}}  \\
 \end{tabular}\\
 
-- 
cgit v1.2.3

