update everything to naming conventions agreed upon in class last week
[fleet.git] / ships /
drwxr-xr-x   ..
-rw-r--r-- 2374 Alu1.ship
-rw-r--r-- 3124 Alu2.ship
-rw-r--r-- 1226 Debug.ship
-rw-r--r-- 4657 Dscratch.ship
-rw-r--r-- 2014 Execute.ship
-rw-r--r-- 1528 Fifo.ship
-rw-r--r-- 833 Halt.ship
-rw-r--r-- 8715 Iscratch.ship
-rw-r--r-- 1228 Lut.ship
-rw-r--r-- 999 Shift.ship