This directory contains the SVG files used for the diagrams in the Checker
Framework manual.  The HTML manual uses the SVGs directly.  The PDF manual
uses PDF conversions of each SVG.

To edit an existing image (.svg file), use one of these tools, which are
listed in order of preference:
 * Inkscape
 * Visio
 * LibreOffice/OpenOffice
Please don't use:
 * https://www.draw.io (no tool installation required)
    * The .svg files it exports don't convert to pdf with correct formatting
      if they have multiline text
    * The figures might require fine tuning with Inkscape afterwards, or
      editing of the .svg files with a text editor.
 * macSVG, which saves the .svg file as one line (!).
    * Unless you manually fix the .svg file afterward.

To create a new image:
Copy an existing SVG and make modifications to it, so that its boxes and
arrows have the same size and font as in other SVGs.

To include an image in your chapter, use one of these:
 \includeimage{formatter-hierarchy}{3.5cm}
 \includeimagenocentering{value-subtyping}{2.75cm}
Note the absence of the SVG extension. Note that the size parameter is the
*vertical* size for the PDF only, not the HTML.  To affect the size of an
image in HTML, please edit the image size in the SVG directly.