Subject: [Instant-dev] [HG instant] Rollback awaiting major changeset.

From: [email-masked] (Instant)
Date: Mon, 11 Aug 2008 17:16: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:   181:9ad7ca32b2ed675eff0da1588b5a4aaba5df7c45
tag:         tip
user:        Ilmar Wilbers <[email-masked]>
date:        Mon Aug 11 17:16:51 2008 +0200
files:       src/instant.py
description:
Rollback awaiting major changeset.

changeset:   180:b910c8011edd28095fb13098d9e281df04c75494
user:        Ilmar Wilbers <[email-masked]>
date:        Mon Aug 11 14:54:56 2008 +0200
files:       src/instant.py
description:
Moved use_cache from global option to create_extension, removed global COPY_LOCAL_FILES (why was this different from USE_CACHE?).

changeset:   179:8f0f226c934be3608f8ee01d694eb5fb53eb97f2
user:        Ilmar Wilbers <[email-masked]>
date:        Mon Aug 11 13:21:29 2008 +0200
files:       etc/instant-cache-clean.sh etc/instant-clean setup.py src/instant.py
description:
Changed clean script to using Python, making it platform-independent. Also, get cache dir and tmp dir from instant module.

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