On Thu, Nov 03, 2011 at 11:57:33PM +0100, Pander wrote: > What is /the/ source file for patgen? Is it: > - patget.ch > - patget.web > - patget.c > - patget.p http://en.wikipedia.org/wiki/WEB Yours sincerely Heiko Oberdiek