diff -r 9b6c9d172378 -r 13fd0a83d3c3 CookBook/document/root.tex
--- a/CookBook/document/root.tex	Fri Feb 13 01:05:31 2009 +0000
+++ b/CookBook/document/root.tex	Fri Feb 13 09:57:08 2009 +0000
@@ -84,9 +84,14 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % for code that has line numbers
-\isakeeptag{linenumbers}
-\renewcommand{\isataglinenumbers}{\begin{vanishML}\begin{graybox}\resetlinenumber\internallinenumbers}
-\renewcommand{\endisataglinenumbers}{\par\end{graybox}\end{vanishML}}
+\isakeeptag{linenos}
+\renewcommand{\isataglinenos}{\begingroup\resetlinenumber\internallinenumbers}
+\renewcommand{\endisataglinenos}{\par\nolinenumbers\endgroup}
+
+% should only be used in ML code
+\isakeeptag{linenosgray}
+\renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\resetlinenumber\internallinenumbers}
+\renewcommand{\endisataglinenosgray}{\par\nolinenumbers\end{graybox}\end{vanishML}}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \renewenvironment{isabelle}