More of a tools question than anything else. Has anyone found a win32 version of time (peferably the csh one, but I could live with the tcl one)? Thanks, --jp - For help on using this list (especially unsubscribing), send a message to "gnu-win32-request@cygnus.com" with one line of text: "help".