Subject: [Instant-dev] [HG instant] merge

From: [email-masked] (Instant)
Date: Thu, 31 Jul 2008 19:56:54 +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:   172:29b9b9488490e68504195751d7a300c23e6318ae
tag:         tip
parent:      171:17823190e508d5e602d7bff5bd7dbc027c424319
parent:      170:ba8c73fdba488003786823f42ba3c68e7637b88f
user:        "Kent-Andre Mardal <[email-masked]>"
date:        Thu Jul 31 19:56:53 2008 +0200
files:       src/instant.py
description:
merge

changeset:   171:17823190e508d5e602d7bff5bd7dbc027c424319
parent:      168:660b1c427ff1fa2eca77badc72a32875c6739656
user:        "Kent-Andre Mardal <[email-masked]>"
date:        Thu Jul 31 19:56:21 2008 +0200
files:       src/instant.py tests/test_omp.py
description:
bug fix, test that cppargs > 0 instead of 1

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

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