From 4854aad68bbf5837fde52b7a3e8e05b7001992de Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Sat, 16 Sep 2006 15:53:42 +0100
Subject: [PATCH] checkpoint

---
 test.fleet |    7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/test.fleet b/test.fleet
index 8081937..f71d265 100644
--- a/test.fleet
+++ b/test.fleet
@@ -6,8 +6,8 @@
 #import edu.berkeley.fleet
 
 
-// the identifier after the token is the 
-// Java class name of the ship to use
+// these SHIPs do not correspond to those in IES31;
+// that will be corrected shortly:
 
 #ship adder    : AdderShip
 #ship adder2   : AdderShip
@@ -52,6 +52,3 @@ continue: {
                           gate2.codebag <- top
                         }
      }
-
-
-
-- 
1.7.10.4