changes

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

diff --git a/writeup/speccfg.tex b/writeup/speccfg.tex
deleted file mode 100644 (file)
index 661c778..0000000
--- a/writeup/speccfg.tex
+++ /dev/null
@@ -1,17 +0,0 @@
-\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}