Subject: [FFC-dev] [HG FFC] merge

From: [email-masked] (FFC)
Date: Tue, 21 Oct 2008 11:57:55 +0200 (CEST)

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

changeset:   1249:89418bb9063b8da13ce6cadbcc9653a9204a0283
tag:         tip
parent:      1248:259bf7ed42699380c8ae9cc931e4f97f7d983d48
parent:      1247:2e6595379ff5a68de6cc0dfa72b1f21c5ae075fe
user:        Anders Logg <[email-masked]>
date:        Tue Oct 21 11:57:53 2008 +0200
files:       
description:
merge

changeset:   1248:259bf7ed42699380c8ae9cc931e4f97f7d983d48
parent:      1227:8d6b8012e815d5e392a636be1325348c8b4be52b
user:        Anders Logg <[email-masked]>
date:        Tue Oct 21 11:48:36 2008 +0200
files:       demo/README scripts/ffc
description:
Update instructions in README file for running without installation
and remove added path in ffc script

changeset:   1247:2e6595379ff5a68de6cc0dfa72b1f21c5ae075fe
user:        "Garth N. Wells <[email-masked]>"
date:        Tue Oct 21 08:25:16 2008 +0100
files:       scripts/makedist
description:
Add tag to makedist script.

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