This is an old revision of the document!


Introduction and site map

Useful buttons

  • Page specific buttons on the left (upper and lower) side:
    • Show page source (or Edit this page) - to view (or edit) the page source
    • Old revisions - to view the page revision history and particular older versions
  • General buttons on the right upper side:
    • Recent changes - to view the list of pages that have recently changed
    • Search - to word-search the whole library
  • More general buttons on the right lower side:
    • Login - there you can register yourself (needed if you want to be more than just a reader here)
    • Index - to browse through a hierarchical site map of the library.