
diff -r c9ff326e3ce5 -r 796c6ea633b3 CookBook/Package/Ind_Interface.thy
--- a/CookBook/Package/Ind_Interface.thy	Sat Feb 14 00:11:50 2009 +0000
+++ b/CookBook/Package/Ind_Interface.thy	Sat Feb 14 00:24:05 2009 +0000
@@ -110,7 +110,7 @@
   railroad diagram in Figure~\ref{fig:railroad}. This diagram more or less
   translates directly into the parser
 
-   @{ML_chunk [display,gray] parser}
+   @{ML_chunk [display,gray,linenos] parser}
 
   which we also described in Section~\ref{sec:parsingspecs}
 




