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

From: [email-masked] (Instant)
Date: Sun, 14 Sep 2008 13:04:35 +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:   250:1880084d5d714ef07149d2cb82eaafb5327a0e52
tag:         tip
parent:      249:6382714164ab9d85c32cebb8df76255c064c472d
parent:      248:3fd1523831f039648fd84298285690c796d75b86
user:        Kent-Andre Mardal <[email-masked]>
date:        Sun Sep 14 13:04:33 2008 +0200
files:       src/instant/build_module.py
description:
merge

changeset:   249:6382714164ab9d85c32cebb8df76255c064c472d
parent:      246:93354337f9697e59ceef5b54e7f66c601768d79d
user:        Kent-Andre Mardal <[email-masked]>
date:        Sun Sep 14 12:59:26 2008 +0200
files:       src/instant/build_module.py src/instant/output.py
description:
removed some output in default mode

changeset:   248:3fd1523831f039648fd84298285690c796d75b86
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Sat Sep 13 17:36:32 2008 +0200
files:       src/instant/build_module.py
description:
Changed some statements from instant_info to instant_debug, reducing the
amount of default printing to only the "--- Instant: compiling ---" statement.

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