<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-15">
</head>
<body text="#000000" bgcolor="#ffffff">
<pre><i>Am 02.02.2010/</i><i>17:02</i><i>/, schrieb Herbert Voss
</i>> it is not easy to know on PostScript side which font was used
> on TeX side before.
Thanks
Marco
</pre>
</body>
</html>