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:   7354:9173a8fe24b6
tag:         tip
user:        Anders Logg <logg@xxxxxxxxx>
date:        Fri Oct 09 19:08:01 2009 +0200
files:       ChangeLog release.conf scripts/makedist
description:
Add configuration file for fenics-release and remove makedist script.


changeset:   7353:de91f730b924
parent:      7352:67dd72489209
parent:      7351:3dd1c05eaa99
user:        Anders Logg <logg@xxxxxxxxx>
date:        Fri Oct 09 13:39:07 2009 +0200
description:
merge


changeset:   7352:67dd72489209
parent:      7344:3a8cc7b29268
user:        Anders Logg <logg@xxxxxxxxx>
date:        Fri Oct 09 13:38:59 2009 +0200
files:       dolfin/io/XMLParameters.cpp dolfin/parameter/Parameters.cpp
description:
Bug fix for input/output for real/double-valued parameters.

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