Subject: [Dorsal-dev] [HG dorsal] merge.

From: [email-masked] (Dorsal)
Date: Wed, 30 Sep 2009 15:27:47 +0200 (CEST)

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

changeset:   258:85c0aab53021
tag:         tip
parent:      257:57068bb1ec9e
parent:      256:1a9ab4ecf394
user:        "Garth N. Wells <[email-masked]>"
date:        Wed Sep 30 14:27:44 2009 +0100
description:
merge.

changeset:   257:57068bb1ec9e
parent:      254:a68db33b7c64
user:        "Garth N. Wells <[email-masked]>"
date:        Wed Sep 30 14:27:28 2009 +0100
files:       packages/boost.package
description:
Disable MPI in Boost Graph.

changeset:   256:1a9ab4ecf394
user:        Harish Narayanan <[email-masked]>
date:        Wed Sep 30 15:13:19 2009 +0200
files:       dorsal.sh
description:
Created first cut of the skip implementation

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/dev/dorsal