\usepackage{marvosym};
authorwenzelm
Thu Dec 20 21:13:22 2001 +0100 (2001-12-20)
changeset 12569e290dadee51c
parent 12568 a46009d88687
child 12570 3bd2372e9bed
\usepackage{marvosym};
doc-src/TutorialI/tutorial.tex
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu Dec 20 21:12:02 2001 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu Dec 20 21:13:22 2001 +0100
     1.3 @@ -2,6 +2,7 @@
     1.4  \usepackage{cl2emono-modified,isabelle,isabellesym}
     1.5  \usepackage{../proof,amsmath,amsfonts}
     1.6  \usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment}
     1.7 +\let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig  %bug in marvosym!?
     1.8  \usepackage{../pdfsetup}   
     1.9  %last package!
    1.10