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.
exchanged the declaration of "seealso" and loading of "makeidx" because the
authorpaulson
Wed, 27 Sep 2000 11:20:30 +0200
changeset 10092 4295180d6bab
parent 10091 43c1951a369c
child 10093 44584c2b512b
exchanged the declaration of "seealso" and loading of "makeidx" because the latter redeclares this macro
doc-src/iman.sty file | annotate | diff | comparison | revisions 
--- a/doc-src/iman.sty	Tue Sep 26 18:27:50 2000 +0200
+++ b/doc-src/iman.sty	Wed Sep 27 11:20:30 2000 +0200
@@ -13,8 +13,8 @@
 
 %%%INDEXING  use sedindex to process the index
 
+\newcommand\seealso[2]{\emph{see also} #1}
 \usepackage{makeidx}
-\newcommand\seealso[2]{\emph{see also} #1}
 
 %index, putting page numbers of definitions in boldface
 \def\bold#1{\textbf{#1}}
isabelle