Fabio Spelta wrote:
> Hello
>
> I'm just working on my thesis and speaking about "bits" I had just
> inserted ``0''. Well, what I really got was when I hit the 0 key was
> `^\circ''.
> It takes a little to work around it.
> I know it is not a bug, but I'd like to tell it anyway, perhaps if the 0
> is put _between_ ``''<++> it should not change into that.
>
> Goodbye and thanx for your COOL suite.
There were some recent changes to deal with this sort of problem.
When you try to type ``german'' does the `g expand to \gamma ? With
the latest version from CVS, I have no problem with ``0''; I am not sure
if these fixes are in the posted release, yet.
HTH --Benji Fisher
|