
diff -r 007e09485351 -r d7cebb2c5105 CookBook/document/root.tex
--- a/CookBook/document/root.tex	Tue Sep 16 00:43:45 2008 +0200
+++ b/CookBook/document/root.tex	Tue Sep 16 00:45:44 2008 +0200
@@ -6,13 +6,11 @@
 \usepackage[pdftex]{graphicx}
 
 % Cross references to other manuals:
-%\usepackage{xr}
-%\externaldocument[I-]{implementation}
-%\newcommand{\impref}[1]{\ref{I-#1}}
-%\newcommand{\ichcite}[1]{[Impl.\,Man., ch.~\impref{#1}]}
-\newcommand{\ichcite}[1]{[FIXME ref]}
-%\newcommand{\isccite}[1]{[Impl.\,Man., sec.~\impref{#1}]}
-\newcommand{\isccite}[1]{[FIXME ref]}
+\usepackage{xr}
+\externaldocument[I-]{implementation}
+\newcommand{\impref}[1]{\ref{I-#1}}
+\newcommand{\ichcite}[1]{[Impl.\,Man., ch.~\impref{#1}]}
+\newcommand{\isccite}[1]{[Impl.\,Man., sec.~\impref{#1}]}
 
 \usepackage{pdfsetup}
 




