First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] [Q] case insensitive search


Chronological Thread 
  • 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.

Top of page