On Tue, Nov 11, 2008 at 2:33 PM, Alan STONE <[EMAIL PROTECTED]>wrote:
> On Tue, Nov 11, 2008 at 2:03 PM, Alan STONE <[EMAIL PROTECTED] > > 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 ? -- luigi
___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : [email protected] / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : https://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________
