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.
recovered \seealso;
authorwenzelm
Mon, 08 May 2000 11:35:19 +0200
changeset 8829 d93e235837a9
parent 8828 5be2d1745c61
child 8830 3e95f3a90875
recovered \seealso;
doc-src/iman.sty file | annotate | diff | comparison | revisions 
--- a/doc-src/iman.sty	Mon May 08 11:13:28 2000 +0200
+++ b/doc-src/iman.sty	Mon May 08 11:35:19 2000 +0200
@@ -14,6 +14,7 @@
 %%%INDEXING  use sedindex to process the index
 
 \usepackage{makeidx}
+\newcommand\seealso[2]{\emph{see also} #1}
 
 %index, putting page numbers of definitions in boldface
 \def\bold#1{\textbf{#1}}
isabelle