mailing-list for TeXmacs Users

["Adrian S." <address@hidden>]

The version in www.texmacs.org is 1.0.7.9 and works fine.
-Adrian.

On Tue, Dec 28, 2010 at 10:08 AM, Pedro Sanchez <address@hidden> wrote:
> On Tue, Dec 28, 2010 at 10:54 AM, Adrian S. <address@hidden> wrote:
>> You can use a more recent version of TeXmacs (1.0.7.9 works fine), as
>> Joris said,  or you can do:
>>
>> 1)Export to ps   (or to pdf, since the file that it will produce is
>> really a .ps file)
>> 2)Run the command in a terminal
>> ps2pdf name-of-file.ps
>>
>
> I confirm the bug on 1.0.7.7 (latest version available on archlinux),
> and  back in november after a couple of days I found your hackfix
>
> I don't bother reporting anyway, as the reply is always "wait for a
> future version"
>