Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-06-11 12:49:43 -0700 (Sun, 11 Jun 2006)
Revision: 9287
Log message:

      Reorganized the documentation.
      
      This version uses HeVeA.  Don't get too grumpy, HeVeA is a lot
      better.  Some advantages:
         - macro definitions work
         - references work
         - commands work like you expect (including \verb/.../)
         - we get a TOC and index
      
      HeVeA also generates plain text and info files.  We should choose one
      of these for a man page.
      
      Some choices I made:
         - the document is documentclass{book}, so we start with
           \chapter, not \section.
      
         - there are multiple indexes, 1) for everything, 2) for vars,
           3) for functions, and 4) for targets.
      
           Use the macro \var{id} when you define a var.  This will
           add it to the index, and you can refer to it with
           \ref{var:id}.  \fun{id} and \target{id} work too.