doc updates to ships

[fleet.git] / ships / Stack.ship

diff --git a/ships/Stack.ship b/ships/Stack.ship
index aca2883..1143c5b 100644 (file)
--- a/ships/Stack.ship
+++ b/ships/Stack.ship
@@ -7,11 +7,11 @@ data  out:  pop
 == Constants ========================================================
 
 == TeX ==============================================================
-A stack ship with capacity for at least 32 elements.
+A stack ship with capacity for at least 16 elements.
 
 Push operations are executed as soon as an inbound datum is delivered
 to the {\tt push} port.  Completion of a push can be confirmed by
-sending a {\tt notify} token from the {\tt push} port.
+sending a token from the {\tt push} port after {\tt deliver}ing.
 
 Pop operations are executed no earlier than the time at which the {\tt
 pop} port attempts to {\tt take} data from the ship.