Documentation

• Documentation is very important

  • Using gjdoc we generate XML, XHTML and info
  • Many packages/classes have reasonable to very good documentation
    • There certainly are exceptions

• urgently needed:

  • High-level overview
  • Manual for free environments