fenics team mailing list archive

[fenics@xxxxxxxxxx (FEniCS)]

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

changeset:   9:fbd01f56c8ed
tag:         tip
user:        Anders Logg <logg@xxxxxxxxx>
date:        Mon Oct 12 15:04:50 2009 +0200
files:       scripts/fenics-release
description:
Bug fix in release script


changeset:   8:4841585b51cf
user:        Anders Logg <logg@xxxxxxxxx>
date:        Fri Oct 09 19:07:07 2009 +0200
files:       scripts/fenics-release setup.py
description:
Add new script fenics-release for making releases and make installable.


changeset:   7:567cb366407b
parent:      6:a366b795ef50
parent:      4:9cf6e526aaac
user:        Anders Logg <logg@xxxxxxxxx>
date:        Fri Oct 09 13:57:44 2009 +0200
files:       templates/manual/fenicsmanual.cls
description:
merge

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