>>>>> "R" == R Lahaye <[EMAIL PROTECTED]> writes:
R> BINGO - thanks Dekel! R> Please apply attached patch. Will do. JMarc
- Tilde-char typeset as "\textasciitilde{}" (... R. Lahaye
- Re: Tilde-char typeset as "\textasciitilde{... Herbert Voss
- Re: Tilde-char typeset as "\textasciiti... R. Lahaye
- Re: Tilde-char typeset as "\textasc... Herbert Voss
- Re: Tilde-char typeset as "\textasc... Jean-Marc Lasgouttes
- Re: Tilde-char typeset as "\tex... R. Lahaye
- Re: Tilde-char typeset as "\textasciitilde{... Dekel Tsur
- Re: Tilde-char typeset as "\textasciiti... R. Lahaye
- Re: Tilde-char typeset as "\textasc... Dekel Tsur
- [PATCH] Re: Tilde-char typeset as &q... R. Lahaye
- Jean-Marc Lasgouttes
