# HG changeset patch
# User kleing
# Date 1051886616 -7200
# Node ID 8d5de16583efa252eef1905b6e2e48c0544f7770
# Parent  538ff1baff29b926385af265478acd7ee2162997
reduced package dependencies,
use babel standard package for euro symbol

diff -r 538ff1baff29 -r 8d5de16583ef lib/Tools/mkdir
--- a/lib/Tools/mkdir	Fri May 02 16:39:38 2003 +0200
+++ b/lib/Tools/mkdir	Fri May 02 16:43:36 2003 +0200
@@ -216,23 +216,23 @@
 
 % further packages required for unusual symbols (see also isabellesym.sty)
 % use only when needed
-%\usepackage{amsmath}                  % for \<leadsto>, \<box>, \<diamond>,
+%\usepackage{amssymb}                  % for \<leadsto>, \<box>, \<diamond>,
                                        % \<sqsupset>, \<mho>, \<Join>, 
-                                       % \<lhd>, ..
-%\usepackage{amssymb}                  % for \<lesssim>, \<greatersim>,
+                                       % \<lhd>, \<lesssim>, \<greatersim>,
                                        % \<lessapprox>, \<greaterapprox>,
                                        % \<triangleq>, \<yen>, \<lozenge>
-%\usepackage[english]{babel}           % for \<guillemotleft>, 
-                                       %     \<guillemotright>
+%\usepackage[greek,english]{babel}     % greek for \<euro>,
+                                       % english for \<guillemotleft>, 
+                                       %             \<guillemotright>
+                                       % default language = last
 %\usepackage[latin1]{inputenc}         % for \<onesuperior>, \<onequarter>,
                                        % \<twosuperior>, \<onehalf>,
                                        % \<threesuperior>, \<threequarters>,
                                        % \<degree>
 %\usepackage[only,bigsqcap]{stmaryrd}  % for \<Sqinter>
-%\usepackage{wasysym}
 %\usepackage{eufrak}                   % for \<AA> ... \<ZZ>, \<aa> ... \<zz>
-%\usepackage{textcomp}                 % \<cent>, \<currency>
-%\usepackage{eurosans}                 % for \<euro>
+                                       % (only needed if amssymb not used)
+%\usepackage{textcomp}                 % for \<cent>, \<currency>
 
 % this should be the last package used
 \usepackage{pdfsetup}