On Tue, 31 Oct 2000, Tony Finch wrote: > I'm not sure I like the header.
OK. I considerably simplified the header. I also changed header.html in the main doc directory, so you can see what other pages will look like (buy only if they are in the main doc directory). I am not going to leave the "OS Specific performance notes" on the main page for now, since it really doesn't have very up-to-date information. Update at http://garibaldi.commerce.ubc.ca:8080/ap13/htdocs/manual/ Joshua.
