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:   8:4841585b51cf
tag:         tip
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


changeset:   6:a366b795ef50
user:        "Anders Logg <logg@xxxxxxxxx>"
date:        Mon Aug 20 21:48:26 2007 +0200
files:       templates/manual/fenicsmanual.cls
description:
License update

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