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