Mercurial Mercurial > repos > isabelle / 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.
tuned latex
authornipkow
Tue, 04 Feb 2014 17:59:33 +0100
changeset 55319 e33f25233798
parent 55318 908fd015cf2e
child 55320 8a6ee5c1f2e0
tuned latex
src/Doc/ProgProve/document/prelude.tex file | annotate | diff | comparison | revisions 
--- a/src/Doc/ProgProve/document/prelude.tex	Tue Feb 04 17:44:15 2014 +0100
+++ b/src/Doc/ProgProve/document/prelude.tex	Tue Feb 04 17:59:33 2014 +0100
@@ -65,7 +65,7 @@
 \newcommand{\conceptnoidx}[1]{\textbf{#1}}
 \newcommand{\concept}[1]{\conceptnoidx{#1}\index{#1}}
 \newcommand{\conceptidx}[2]{\conceptnoidx{#1}\index{#2}}
-\newcommand{\indexed}[2]{#1\index{#2@#1}}
+\newcommand{\indexed}[2]{#1\index{#2@\protect#1}}
 
 \newcommand{\isabox}{\fbox}
 \newcommand{\bigisabox}[1]
isabelle