mailing-list for TeXmacs Users

[Nicola Mingotti <address@hidden>]

Thank you for your intervention Miguel !

I've tried a few searches and it seems it works.

I reccomend to fresh TeXmacs users (like me) to use the advanced search

mainly for one reason, the default search (as far is i understand)

searchs by default only the last 2 months from present.

bye

Nicola

On Tue, Apr 28, 2015 at 5:12 PM, Miguel de Benito Delgado <address@hidden> wrote:

On Tue, Apr 28, 2015 at 3:15 PM, Alexandre Dezotti <address@hidden> wrote:

@Nicola Now, I remember you signalling of that problem

This is in the process of being fixed / should be fixed now.

--
Miguel de  Benito.