5 Commits (782372dee520ac0d90737d206d752e770912f5c2)

Author SHA1 Message Date
  Stefan Bodewig 443e397b46 Add license header 19 years ago
  Jesse N. Glick 2a0bbc499f Removing some gratuitous XHTML-isms. They still break JavaHelp, alas, and the manual is anyway not even strictly 20 years ago
  Stefan Bodewig 3935a662f5 consistent use of <code> - submitted by Larry Shatzer 21 years ago
  Peter Reilly be81cb82cd fix whichresouce manual page 22 years ago
  Steve Loughran 3bf298063b manual insertion of xdocs pages 22 years ago