Commit from logg (2005-05-12 18:24 CEST) ---------------- Modified pipermail.py to get threading working (I hope). dolfin README 1.31