(j3.2006) 007 formatting
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.
More information about the J3