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

From: [email-masked] (Instant)
Date: Wed, 11 Apr 2007 18:50:50 +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:   96:d42745951bce09517cc6ba5065cc92b9a707af89
tag:         tip
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Apr 11 18:40:58 2007 +0200
files:       src/instant.py
description:
Fix.

changeset:   95:806f2643a0cd0555b73655dd68fe055ac9bd22ed
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Apr 11 18:38:30 2007 +0200
files:       src/instant.py
description:
Disabled output redirection when verbosity > 0.

changeset:   94:6062c4e3cb376b3619bb9de096d9d51f4a94df60
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Tue Apr 10 17:22:09 2007 +0200
files:       src/instant.py
description:
Added printing some commands with VERBOSE=9.
Fixed some tab/space mess.

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