This directory contains CPSA documentation.

* cpsauser.html: CPSA User Guide, an essential reference document

* cpsaprimer.pdf: CPSA Primer, an introduction to using CPSA

* cpsaoverview.pdf: Another attempt at a gentle introduction to CPSA

* cpsaspec.pdf: The CPSA Specification, a formal specification of the
  algorithm

* cpsadesign.pdf: CPSA Design, a description of implementation choices

* cpsatheory.pdf: CPSA Theory, the beginnings of a connectness proof
  of the CPSA algorithm

To build the documentation, the file supp-pdf.tex must be installed.
It is part of the TexLive texmf ConTeXt package.  On Linux, the name
of the package is context or texlive-context.  The design document and
the specification document require the xy-pic package, which is
included in texlive-pictures.

If you want to build the documentation from the sources, and you don't
have and want to install the cmarrows package for Metapost, comment
out the line in cpsadiagrams.mp that loads cmstrands.

diff -u -r1.4 cpsadiagrams.mp
--- doc/cpsadiagrams.mp	9 Oct 2009 19:33:53 -0000	1.4
+++ doc/cpsadiagrams.mp	10 Oct 2009 11:59:38 -0000
@@ -13,7 +13,7 @@

 input strands;

-input cmstrands;		% Use CM arrows
+% input cmstrands;		% Use CM arrows

 picture node; node = btex $\bullet$ etex;