Local Software Documentation

This page is an unsorted collection of locally available documentation of crucial pieces of software that we use. See also my page on cool tools installed on our local Linux machines.

General Docu on GNU packages and such:

• Subversion FAQ (local cache), Subversion Book (pdf,html,pdf@LMU,html@LMU,docbook sources)
  URL: Subversion Home
• CVS Quick reference (two-up style), CVS Tips CVS Manual (.ps), CVS Manual (.html)
  URL: CVS Home Page
• Passwordless ssh connections (local cache)
• Docbook V5.0 (Docbook V3.1)
• Tips on Pretty Printing Haskell
• Elisp Manual (see also Typesetting Haskell in TeX on the main Haskell page)
• Bash 2.05 Docu
• Advanced Bash Scripting Guide (Version 2.7)
• GNU Calc Docu
• Moscow ML libraries
• CIAO Manual (local cache)
• PHP Manual
• MPI Introduction
• MathML samples
• HOWTO move mh mail back to IMAP server

Research related docu:

• A Gentle Introduction to GpH (local copy)
• A Gentle Introduction to Camelot
• Users Guide