mailing-list for TeXmacs Users

[Martin Costabel <address@hidden>]

Kasper Peeters wrote:
[]
> Martin, just a wild shot in the dark here, but is this bug perhaps
> related to an issue we discussed earlier in the context of making my
> 'cadabra' program work on Leopard? You then found that there is a bug
> in 'strip' on Leopard which erroneously removes symbols. Is the
> TeXmacs binary in fink stripped? Does the bug go away when the binary
> is not stripped?

It's not stripped. As I understand, the bug happens on Linux, too, not 
only on MacOSX.

--
Martin