# HG changeset patch
# User oheimb
# Date 1039799665 -3600
# Node ID a1290b92b1b02ec68a5607e32cbe231a6ef7636d
# Parent  ac6a9c2f9fb27a4c8184951f767a7780cf81b28f
cent/currency: changed from wasysym to textcomp because of PDF problems

diff -r ac6a9c2f9fb2 -r a1290b92b1b0 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Fri Dec 13 16:49:08 2002 +0100
+++ b/lib/texinputs/isabellesym.sty	Fri Dec 13 18:14:25 2002 +0100
@@ -336,8 +336,8 @@
 \newcommand{\isasymeuro}{\isatext{\EUR}}  %requires marvosym
 \newcommand{\isasympounds}{\isamath{\pounds}}
 \newcommand{\isasymyen}{\isatext{\yen}}  %requires amssymb
-\newcommand{\isasymcent}{\isatext{\cent}}  %requires wasysym
-\newcommand{\isasymcurrency}{\isatext{\currency}}  %requires wasysym
+\newcommand{\isasymcent}{\isatext{\textcent}}  %requires textcomp
+\newcommand{\isasymcurrency}{\isatext{\textcurrency}} %requires textcomp
 \newcommand{\isasymdegree}{\isatext{\rm\textdegree}}  %requires latin1
 \newcommand{\isasymamalg}{\isamath{\amalg}}
 \newcommand{\isasymmho}{\isamath{\mho}}  %requires latexsym