patch07.0   jgraph - A filter for plotting postscript graphs, Patch07.0
patch07.1   jgraph - A filter for plotting postscript graphs, Patch07.1
patch07.2   jgraph - A filter for plotting postscript graphs, Patch07.2
patch07.3   jgraph - A filter for plotting postscript graphs, Patch07.3
patch07.5   jgraph - A filter for plotting postscript graphs, Patch07.5