dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

Can we remove dolfin-stable? I think it is confusing since it hasn't
been updated for a long time and there has been a new release (or two
actually) since it was last updated. Also, the web page recommends
using dolfin-stable instead of the latest release. (I deleted this
information since it is not correct.)

/Anders