Subject: [Dorsal-dev] [HG dorsal] Updated, checked and polished gutsy

From: [email-masked] (Dorsal)
Date: Sat, 24 Jan 2009 19:14:26 +0100 (CET)

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

changeset:   146:e865a60e981acd37a99b6608d0a51f30fef35a30
tag:         tip
user:        Harish Narayanan <[email-masked]>
date:        Sat Jan 24 19:14:20 2009 +0100
files:       TODO platforms/gutsy.platform platforms/rhel4.platform platforms/rhel5.platform
description:
Updated, checked and polished gutsy

changeset:   145:b6a66a9ac1d6a0b56da608c27ce02b8f23d63999
user:        Harish Narayanan <[email-masked]>
date:        Sat Jan 24 11:59:01 2009 +0100
files:       TODO packages/dolfin.package packages/petsc.package packages/petscwithoutmpi.package
description:
Indentation fixes

changeset:   144:2d3238a64189b0bc56a34eb1463335e023e089d0
user:        Harish Narayanan <[email-masked]>
date:        Fri Jan 23 22:05:50 2009 +0100
files:       platforms/fedora10.platform platforms/hardy.platform platforms/lenny.platform platforms/rhel4.platform
description:
Minor edits still gearing up for a release

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