# HG changeset patch
# User kleing
# Date 1051961467 -7200
# Node ID e2bf2551eb9ae14f6c62f85b5806521979cdc90b
# Parent  74f638d8a82903ee213fd63020af60f47c0a5d6d
fix for new \isasymeuro

diff -r 74f638d8a829 -r e2bf2551eb9a doc-src/System/system.tex
--- a/doc-src/System/system.tex	Fri May 02 20:06:59 2003 +0200
+++ b/doc-src/System/system.tex	Sat May 03 13:31:07 2003 +0200
@@ -2,14 +2,11 @@
 %% $Id$
 
 \documentclass[12pt,a4paper]{report}
-\usepackage{latexsym}
 \usepackage{amssymb}
-\usepackage[english]{babel}
+\usepackage[greek,english]{babel}
 \usepackage[latin1]{inputenc}
 \usepackage[only,bigsqcap]{stmaryrd}
-\usepackage{wasysym}
 \usepackage{textcomp}
-\let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig  %bug in marvosym!?
 \usepackage{supertabular}
 \let\intorig=\int  %iman.sty redefines \int
 \usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}