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:   4324:a03e398e21ff78389b60fa1f2f2c184f8509b112
tag:         tip
parent:      4319:c680050b52cf9b9fdb9619b37d3020505558d819
parent:      4323:24426572de721f6c20be79705c675c259676334e
user:        Anders Logg <logg@xxxxxxxxx>
date:        Wed Jun 18 18:11:21 2008 +0200
files:       
description:
merge


changeset:   4323:24426572de721f6c20be79705c675c259676334e
parent:      4322:47ebbc16675955435873e70fcfa34dd84b7801ce
parent:      4316:6fb741ed7bf95ca3437af147918c1b1ee6c2355c
user:        Ilmar Wilbers <ilmarw@xxxxxxxxx>
date:        Wed Jun 18 13:01:44 2008 +0200
files:       
description:
Automated merge with http://fenics.org/hg/dolfin


changeset:   4322:47ebbc16675955435873e70fcfa34dd84b7801ce
parent:      4321:2cdfb8a7378cff40fa05ea8571802aa69b77cefc
parent:      4315:362e95752e24c8cd9a532f79093e5e5d6f51d641
user:        Ilmar Wilbers <ilmarw@xxxxxxxxx>
date:        Wed Jun 18 10:58:34 2008 +0200
files:       
description:
Automated merge with http://fenics.org/hg/dolfin

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