Mercurial Mercurial > hg > isabelle-cookbook / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added an explicit file containing references in the Implementation manual (should be replaced by antiquotations)
authorChristian Urban <urbanc@in.tum.de>
Tue, 16 Sep 2008 00:45:44 +0200
changeset 7 d7cebb2c5105
parent 6 007e09485351
child 8 ea79473e5d9e
added an explicit file containing references in the Implementation manual (should be replaced by antiquotations)
CookBook/document/root.tex file | annotate | diff | comparison | revisions
cookbook.pdf file | annotate | diff | comparison | revisions 
--- 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}
 
Binary file cookbook.pdf has changed
isabelle-cookbook