add write up

[cdsspec-compiler.git] / writeup / speccfg.tex

diff --git a/writeup/speccfg.tex b/writeup/speccfg.tex
new file mode 100644 (file)
index 0000000..661c778
--- /dev/null
+++ b/writeup/speccfg.tex
@@ -0,0 +1,17 @@
+\begin{figure}
+
+
+%\paragraph{Default settings}
+%\begin{grammar}
+
+%<statement> ::= <ident> `=' <expr> 
+%\alt `for' <ident> `=' <expr> `to' <expr> `do' <statement> 
+%\alt `{' <stat-list> `}' 
+%\alt <empty> 
+
+%<stat-list> ::= <statement> `;' <stat-list> | <statement> 
+
+%\end{grammar}
+
+\caption{\label{fig:algorithm}\TOOL algorithm}
+\end{figure}