----- Original Message ----- From: "Willi Egger" <w.egger@boede.nl> > Hi Hans, > > I was looking into the TeXtools manual. Then I looked into the OK, I must be blind. Where is the TeXtools manual? -gary