dolfin team mailing list archive

[dolfin@xxxxxxxxxx (DOLFIN)]

One or more new changesets pushed to the primary dolfin repository.
A short summary of the last three changesets is included below.

changeset:   7370:f683abbcea92
tag:         tip
user:        "Johan Hake <hake@xxxxxxxxx>"
date:        Mon Oct 12 19:57:53 2009 +0200
files:       dolfin/swig/parameter_pre.i
description:
A bugfix when GMP is enabled


changeset:   7369:9f2b0d271bae
user:        Anders Logg <logg@xxxxxxxxx>
date:        Mon Oct 12 19:07:14 2009 +0200
files:       ChangeLog
description:
Update ChangeLog with Marie's fix


changeset:   7368:6eb93c584e5f
parent:      7367:6e74f7e8f2d3
parent:      7365:613df8d6ac58
user:        Anders Logg <logg@xxxxxxxxx>
date:        Mon Oct 12 19:06:27 2009 +0200
description:
merge

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/dolfin