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

From: [email-masked] (FFC)
Date: Fri, 22 Aug 2008 11:46:58 +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:   1161:1221e34a037708a87be8905400a28e4052c7ca6f
tag:         tip
parent:      1160:a3aae24cf1d683e2dd865fc62f540de0d1b01217
parent:      1159:f1c7d6796ff143276fe7632ac4b057fbd3dc7c44
user:        Anders Logg <[email-masked]>
date:        Fri Aug 22 11:46:50 2008 +0200
files:       
description:
merge

changeset:   1160:a3aae24cf1d683e2dd865fc62f540de0d1b01217
parent:      1155:6f434e5eaa64cfcff933f690ce61b5b822e2a9bb
user:        Anders Logg <[email-masked]>
date:        Fri Aug 22 11:46:41 2008 +0200
files:       src/ffc/compiler/compiler.py
description:
merge

changeset:   1159:f1c7d6796ff143276fe7632ac4b057fbd3dc7c44
parent:      1156:db35b027f40c944dc2d1e0c5aa8f2c526dd9dd53
parent:      1158:b077673c717adf2f942622a98a5ca75ee8b3b3f5
user:        Dag Lindbo <[email-masked]>
date:        Fri Aug 22 11:41:30 2008 +0200
files:       
description:
merge

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