(j3.2006) 007 formatting

Van Snyder van.snyder
Fri Mar 2 16:11:30 EST 2007

On Fri, 2007-03-02 at 18:22 +0900, Malcolm Cohen wrote:
> > Do you want a line under the page heading (it's trivial to add)?
> No.  I don't think ISO do either.

ISO added a header with lines above and below to exactly one page of the
submodules TR proof draft.  I put it into the final draft I sent them.

Using fancyheadings, we can easily do it if ISO wants us to.

Best regards,

More information about the J3 mailing list