add_sliver() removes nodes that aren't running specified sliver
[sfa.git] / docs / sfa-impl.pdf
2009-09-08 Larry Petersonupdated impl notes