fix euro error
authorkleing
Thu May 08 13:36:07 2003 +0200 (2003-05-08)
changeset 1398170ff42d498c0
parent 13980 f254d1c92a6a
child 13982 8abae6b7084c
fix euro error
doc-src/TutorialI/tutorial.tex
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu May 08 13:10:02 2003 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu May 08 13:36:07 2003 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  \usepackage{cl2emono-modified,isabelle,isabellesym}
     1.5  \usepackage{../proof,amsmath,amsfonts}
     1.6  \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment}
     1.7 -\let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig  %bug in marvosym!?
     1.8 +\usepackage[greek,english]{babel}
     1.9  \usepackage{../pdfsetup}   
    1.10  %last package!
    1.11