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.
\usepackage{marvosym};
authorwenzelm
Thu, 20 Dec 2001 21:13:22 +0100
changeset 12569 e290dadee51c
parent 12568 a46009d88687
child 12570 3bd2372e9bed
\usepackage{marvosym};
doc-src/TutorialI/tutorial.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/tutorial.tex	Thu Dec 20 21:12:02 2001 +0100
+++ b/doc-src/TutorialI/tutorial.tex	Thu Dec 20 21:13:22 2001 +0100
@@ -2,6 +2,7 @@
 \usepackage{cl2emono-modified,isabelle,isabellesym}
 \usepackage{../proof,amsmath,amsfonts}
 \usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment}
+\let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig  %bug in marvosym!?
 \usepackage{../pdfsetup}   
 %last package!
isabelle