# HG changeset patch # User wenzelm # Date 1010189954 -3600 # Node ID 71605f976d500964cf111b2b6d5f8840c68e0e30 # Parent 812ce0d9fc85449b43e39ba1df23bd84a18675dd use wasysym package; diff -r 812ce0d9fc85 -r 71605f976d50 doc-src/TutorialI/tutorial.tex --- a/doc-src/TutorialI/tutorial.tex Sat Jan 05 01:18:54 2002 +0100 +++ b/doc-src/TutorialI/tutorial.tex Sat Jan 05 01:19:14 2002 +0100 @@ -1,7 +1,7 @@ \documentclass{article} \usepackage{cl2emono-modified,isabelle,isabellesym} \usepackage{../proof,amsmath,amsfonts} -\usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment} +\usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment} \let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig %bug in marvosym!? \usepackage{../pdfsetup} %last package!