default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);
authorwenzelm
Fri Jun 29 15:45:50 2012 +0200 (2012-06-29)
changeset 4817128a6d67c93f0
parent 48170 9b41d34450e8
child 48172 41222a782780
default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);
NEWS
doc-src/IsarRef/isar-ref.tex
doc-src/TutorialI/tutorial.tex
lib/Tools/mkdir
lib/texinputs/isabellesym.sty
     1.1 --- a/NEWS	Fri Jun 29 15:40:17 2012 +0200
     1.2 +++ b/NEWS	Fri Jun 29 15:45:50 2012 +0200
     1.3 @@ -13,6 +13,12 @@
     1.4  in old "ref" manual.
     1.5  
     1.6  
     1.7 +*** Document preparation ***
     1.8 +
     1.9 +* Default for \<euro> is now based on eurosym package, instead of
    1.10 +slightly exotic babel/greek.
    1.11 +
    1.12 +
    1.13  *** System ***
    1.14  
    1.15  * Discontinued support for Poly/ML 5.2.1, which was the last version
     2.1 --- a/doc-src/IsarRef/isar-ref.tex	Fri Jun 29 15:40:17 2012 +0200
     2.2 +++ b/doc-src/IsarRef/isar-ref.tex	Fri Jun 29 15:45:50 2012 +0200
     2.3 @@ -1,6 +1,7 @@
     2.4  \documentclass[12pt,a4paper,fleqn]{report}
     2.5  \usepackage{amssymb}
     2.6 -\usepackage[greek,english]{babel}
     2.7 +\usepackage{eurosym}
     2.8 +\usepackage[english]{babel}
     2.9  \usepackage[only,bigsqcap]{stmaryrd}
    2.10  \usepackage{textcomp}
    2.11  \usepackage{latexsym}
     3.1 --- a/doc-src/TutorialI/tutorial.tex	Fri Jun 29 15:40:17 2012 +0200
     3.2 +++ b/doc-src/TutorialI/tutorial.tex	Fri Jun 29 15:45:50 2012 +0200
     3.3 @@ -3,7 +3,8 @@
     3.4  \usepackage{cl2emono-modified,../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
     3.5  \usepackage{../proof,amsmath,amsfonts}
     3.6  \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment}
     3.7 -\usepackage[greek,english]{babel}
     3.8 +\usepackage{eurosym}
     3.9 +\usepackage[english]{babel}
    3.10  \usepackage{../pdfsetup}   
    3.11  %last package!
    3.12  
     4.1 --- a/lib/Tools/mkdir	Fri Jun 29 15:40:17 2012 +0200
     4.2 +++ b/lib/Tools/mkdir	Fri Jun 29 15:45:50 2012 +0200
     4.3 @@ -217,9 +217,8 @@
     4.4    %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
     4.5    %\<triangleq>, \<yen>, \<lozenge>
     4.6  
     4.7 -%\usepackage[greek,english]{babel}
     4.8 -  %option greek for \<euro>
     4.9 -  %option english (default language) for \<guillemotleft>, \<guillemotright>
    4.10 +%\usepackage{eurosym}
    4.11 +  %for \<euro>
    4.12  
    4.13  %\usepackage[only,bigsqcap]{stmaryrd}
    4.14    %for \<Sqinter>
     5.1 --- a/lib/texinputs/isabellesym.sty	Fri Jun 29 15:40:17 2012 +0200
     5.2 +++ b/lib/texinputs/isabellesym.sty	Fri Jun 29 15:45:50 2012 +0200
     5.3 @@ -336,7 +336,7 @@
     5.4  \newcommand{\isasymparagraph}{\isatext{\rm\P}}
     5.5  \newcommand{\isasymexclamdown}{\isatext{\rm\textexclamdown}}
     5.6  \newcommand{\isasymquestiondown}{\isatext{\rm\textquestiondown}}
     5.7 -\newcommand{\isasymeuro}{\isatext{\textgreek{\euro}}}  %requires greek babel
     5.8 +\newcommand{\isasymeuro}{\isatext{\euro}}  %requires eurosym
     5.9  \newcommand{\isasympounds}{\isamath{\pounds}}
    5.10  \newcommand{\isasymyen}{\isatext{\yen}}  %requires amssymb
    5.11  \newcommand{\isasymcent}{\isatext{\textcent}}  %requires textcomp