| changeset 13981 | 70ff42d498c0 |
| parent 12916 | 4ac388e02b74 |
| child 14400 | 6069098854b9 |
--- 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!