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.
changed the index sort key from |-| to just |- because pdflatex can't cope
authorpaulson
Wed, 09 Jan 2002 13:43:05 +0100
changeset 12679 8ed660138f83
parent 12678 4d36d8df29fa
child 12680 1556a7637439
changed the index sort key from |-| to just |- because pdflatex can't cope with the two ||s in the index entry
doc-src/Logics/CTT.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/Logics/CTT.tex	Tue Jan 08 21:02:15 2002 +0100
+++ b/doc-src/Logics/CTT.tex	Wed Jan 09 13:43:05 2002 +0100
@@ -645,7 +645,7 @@
 \begin{figure} 
 \index{#+@{\tt\#+} symbol}
 \index{*"- symbol}
-\index{*"|"-"| symbol}
+\index{"|"-@{{\tt"|"-"|} symbol}}
 \index{#*@{\tt\#*} symbol}
 \index{*div symbol}
 \index{*mod symbol}
isabelle