Subject: mailing-list for TeXmacs Users
List archive
From : <address@hidden>- To: address@hidden
- Subject: Re: [TeXmacs] [Q] case insensitive search
- Date: Tue, 19 May 2015 00:17:53 +0200
I am also interested in this feature. Is it currently possible?
- Re: [TeXmacs] [Q] case insensitive search, mardukbp, 05/19/2015
Archive powered by MHonArc 2.6.19.