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

From: [email-masked] (FFC)
Date: Thu, 13 Sep 2007 17:53:54 +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:   972:28fbc29ead0c041bbf3475c5e1ff153f7b70a99e
tag:         tip
parent:      971:69e52097fa4bf97bf32cdd5547c7ea1092062df4
parent:      969:8ec66be1ec22b5bc94646d12c188457fb8ab3884
user:        "Anders Logg <[email-masked]>"
date:        Thu Sep 13 17:53:07 2007 +0200
files:       src/ffc/compiler/format/codesnippets.py
description:
merge

changeset:   971:69e52097fa4bf97bf32cdd5547c7ea1092062df4
user:        "Anders Logg <[email-masked]>"
date:        Thu Sep 13 17:51:18 2007 +0200
files:       src/ffc/compiler/format/__init__.pyc
description:
Remove binary file

changeset:   970:c716408ddc99f69116ce6778f0da605b0e08a0ec
parent:      968:8f3d314b8cff1a4af11b24e0e25ca11d0c54b263
user:        "Anders Logg <[email-masked]>"
date:        Thu Sep 13 17:50:41 2007 +0200
files:       src/ffc/compiler/format/__init__.pyc
description:
Minor fix

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