Thu, 15 May 2003 11:22:54 +0200 | kleing | give tests time to copy settings | changeset | files |
Wed, 14 May 2003 20:36:29 +0200 | schirmer | Added Bali to test | changeset | files |
Wed, 14 May 2003 20:29:18 +0200 | schirmer | Adapted to changes in Map.thy | changeset | files |