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

From: [email-masked] (UFC)
Date: Wed, 10 Dec 2008 17:21:51 +0100 (CET)

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

changeset:   229:8f4f3a40db98635daf6fdc8e05d06ce39f4f90f2
tag:         tip
parent:      228:df533b2b0bbd68ba4a29217e56ffb724bd9ee167
parent:      227:d27cfcef7c5688db5ca3f79348d9a805d3d37530
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Dec 10 17:21:16 2008 +0100
files:       
description:
merge

changeset:   228:df533b2b0bbd68ba4a29217e56ffb724bd9ee167
parent:      226:4ab67e1e138800abe782bc824533682156da6b2a
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Sep 17 22:14:16 2008 +0200
files:       TODO
description:
Added suggestion for UFC 1.2 to add ufl() function returning the UFL representation string.

changeset:   227:d27cfcef7c5688db5ca3f79348d9a805d3d37530
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Dec 10 14:31:22 2008 +0100
files:       src/utils/python/ufc_benchmark/ufc_benchmark.cpp src/utils/python/ufc_benchmark/ufc_data.h
description:
sed -i s/uint/unsigned/
added cstring include
removed typdef for uint in .cpp file

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