I committed the attached patch as obviously correct after a 'make info pdf' test. 2009-10-15 Steven G. Kargl * intrinsic.texi: Explicitly state that ETIME and DTIME take REAL(4) arguments. Fix nearby typographically errors where /leq was used instead of \leq. -- Steve