Subject: [FIAT-dev] Updated P0.py to fix problem with entity_ids in vector-valued case.

From: [email-masked]
Date: Mon, 06 Jun 2005 20:39:04 +0200

Commit from kirby (2005-06-06 20:39 CEST)
-----------------

Updated P0.py to fix problem with entity_ids in vector-valued case.

  fiat  FIAT/P0.py  1.3