default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);

--- a/NEWS	Fri Jun 29 15:40:17 2012 +0200
+++ b/NEWS	Fri Jun 29 15:45:50 2012 +0200
@@ -13,6 +13,12 @@
 in old "ref" manual.
 
 
+*** Document preparation ***
+
+* Default for \<euro> is now based on eurosym package, instead of
+slightly exotic babel/greek.
+
+
 *** System ***
 
 * Discontinued support for Poly/ML 5.2.1, which was the last version

--- a/doc-src/IsarRef/isar-ref.tex	Fri Jun 29 15:40:17 2012 +0200
+++ b/doc-src/IsarRef/isar-ref.tex	Fri Jun 29 15:45:50 2012 +0200
@@ -1,6 +1,7 @@
 \documentclass[12pt,a4paper,fleqn]{report}
 \usepackage{amssymb}
-\usepackage[greek,english]{babel}
+\usepackage{eurosym}
+\usepackage[english]{babel}
 \usepackage[only,bigsqcap]{stmaryrd}
 \usepackage{textcomp}
 \usepackage{latexsym}

--- a/doc-src/TutorialI/tutorial.tex	Fri Jun 29 15:40:17 2012 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Fri Jun 29 15:45:50 2012 +0200
@@ -3,7 +3,8 @@
 \usepackage{cl2emono-modified,../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
 \usepackage{../proof,amsmath,amsfonts}
 \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment}
-\usepackage[greek,english]{babel}
+\usepackage{eurosym}
+\usepackage[english]{babel}
 \usepackage{../pdfsetup}   
 %last package!
 

--- a/lib/Tools/mkdir	Fri Jun 29 15:40:17 2012 +0200
+++ b/lib/Tools/mkdir	Fri Jun 29 15:45:50 2012 +0200
@@ -217,9 +217,8 @@
   %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
   %\<triangleq>, \<yen>, \<lozenge>
 
-%\usepackage[greek,english]{babel}
-  %option greek for \<euro>
-  %option english (default language) for \<guillemotleft>, \<guillemotright>
+%\usepackage{eurosym}
+  %for \<euro>
 
 %\usepackage[only,bigsqcap]{stmaryrd}
   %for \<Sqinter>

--- a/lib/texinputs/isabellesym.sty	Fri Jun 29 15:40:17 2012 +0200
+++ b/lib/texinputs/isabellesym.sty	Fri Jun 29 15:45:50 2012 +0200
@@ -336,7 +336,7 @@
 \newcommand{\isasymparagraph}{\isatext{\rm\P}}
 \newcommand{\isasymexclamdown}{\isatext{\rm\textexclamdown}}
 \newcommand{\isasymquestiondown}{\isatext{\rm\textquestiondown}}
-\newcommand{\isasymeuro}{\isatext{\textgreek{\euro}}}  %requires greek babel
+\newcommand{\isasymeuro}{\isatext{\euro}}  %requires eurosym
 \newcommand{\isasympounds}{\isamath{\pounds}}
 \newcommand{\isasymyen}{\isatext{\yen}}  %requires amssymb
 \newcommand{\isasymcent}{\isatext{\textcent}}  %requires textcomp