# HG changeset patch
# User kleing
# Date 1052393767 -7200
# Node ID 70ff42d498c0e03722db4d563caa28e9be3bda4e
# Parent  f254d1c92a6a2c1993e3dd230c24e459d76fbce8
fix euro error

diff -r f254d1c92a6a -r 70ff42d498c0 doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Thu May 08 13:10:02 2003 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Thu May 08 13:36:07 2003 +0200
@@ -2,7 +2,7 @@
 \usepackage{cl2emono-modified,isabelle,isabellesym}
 \usepackage{../proof,amsmath,amsfonts}
 \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment}
-\let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig  %bug in marvosym!?
+\usepackage[greek,english]{babel}
 \usepackage{../pdfsetup}   
 %last package!