On Tue, Nov 11, 2008 at 3:43 PM, Hans Hagen <pragma@wxs.nl> wrote:

> luigi scarso wrote:
> >
> >
> > On Tue, Nov 11, 2008 at 2:33 PM, Alan STONE
> > <software.list.1es9s@gmail.com <mailto:software.list.1es9s@gmail.com>>
> > wrote:
> >
> >     On Tue, Nov 11, 2008 at 2:03 PM, Alan STONE
> >     <software.list.1es9s@gmail.com
> >     <mailto:software.list.1es9s@gmail.com>> wrote:
> >
> >         Do you know some tool (Windows/Linux) which enables to filter
> >         these from the
> >         log file into a text file, or delete the unwanted ones from the
> >         log file ?
> >
> >
> >     Under Linux, grep should be able to do that. Under Windows ?
> >
> > maybe grep of cygwin ?
>
> or
>
> mtxrun --script grep ...



This is a cool one...

http://www.wingrep.com

-- 
Best,
Alan

* TeX engine = LuaTeX
* ConTeXt  minimals ver: 2008.56.06 19:11 MKIV  fmt: 2008.11.10  int:
english/english
* Ubuntu 8.04 Hardy Heron