Subject: [Instant-dev] [HG instant] Merge.

From: [email-masked] (Instant)
Date: Thu, 31 Jul 2008 15:27:07 +0200 (CEST)

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

changeset:   170:ba8c73fdba488003786823f42ba3c68e7637b88f
tag:         tip
parent:      169:a676e65524fb1bd49ce91b0447225bb6eb51dbbb
parent:      168:660b1c427ff1fa2eca77badc72a32875c6739656
user:        Ilmar Wilbers <[email-masked]>
date:        Thu Jul 31 15:27:03 2008 +0200
files:       
description:
Merge.

changeset:   169:a676e65524fb1bd49ce91b0447225bb6eb51dbbb
parent:      166:04ecf8dd00b885aa287bbcc81620662019400e26
user:        Ilmar Wilbers <[email-masked]>
date:        Thu Jul 31 15:26:42 2008 +0200
files:       src/instant.py
description:
Fixed cppflags.

changeset:   168:660b1c427ff1fa2eca77badc72a32875c6739656
parent:      167:8e37f22a1e2aac5ee2fd607f66679887452fc6de
parent:      166:04ecf8dd00b885aa287bbcc81620662019400e26
user:        "Kent-Andre Mardal <[email-masked]>"
date:        Wed Jul 30 13:23:04 2008 +0200
files:       
description:
merge

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