History of Diffusion pump

	Revision 4 . . August 10, 2001 9:01 pm by Rmhermen
	Revision 3 . . August 10, 2001 5:22 am by Stokerm

---

Difference (from prior major revision) (no other diffs)

Added: 5a6,7

/Talk?