X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=writeup%2Fspeccfg.tex;fp=writeup%2Fspeccfg.tex;h=0000000000000000000000000000000000000000;hp=661c778d158c95b5b96c2573316510bf84c86ff5;hb=ea47bb88f8f669957058ba133b46ba49ea814bf6;hpb=e614e496496b9822e4d0f1f78c04cf66aa0aaee5

diff --git a/writeup/speccfg.tex b/writeup/speccfg.tex
deleted file mode 100644
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}