Subject: [UFC-dev] [HG ufc] recompile

From: [email-masked] (UFC)
Date: Thu, 14 Jun 2007 13:24:17 +0200 (CEST)

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

changeset:   152:39f979677eb669d6f72807a379b4f24582a10b72
tag:         tip
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Thu Jun 14 13:24:17 2007 +0200
files:       doc/manual/ufc-user-manual.pdf
description:
recompile

changeset:   151:b84bf993e8262f90d7bc94554baf517f7c30f24e
parent:      150:27d25a2d252aadffa21926be38d729e6c2f2b3a1
parent:      149:ee8ad3e29efe81e55b785b3869ceac30499bde4d
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Thu Jun 14 13:23:41 2007 +0200
files:       
description:
merge

changeset:   150:27d25a2d252aadffa21926be38d729e6c2f2b3a1
parent:      148:b3bc4b442857729440ca4b9ecf009bb466d9eb3c
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Thu Jun 14 13:22:52 2007 +0200
files:       doc/manual/chapters/interface.tex doc/manual/ufc-user-manual.pdf
description:
Various small interface text fixes.

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