Re: sharing traits

To: horning@pa.dec.com
Subject: Re: sharing traits
From: leavens@cs.iastate.edu (Gary Leavens)
Date: Mon, 14 Nov 94 21:12:19 CST
Cc: guttag@larch.lcs.mit.edu
Delivery-Date: Mon, 14 Nov 94 19:16:29 -0800
In-Reply-To: <9411142325.AA26278@roustabout.pa.dec.com> (horning@pa.dec.com)


   Cc: guttag@larch.lcs.mit.edu
   Date: Mon, 14 Nov 94 15:25:41 -0800
   From: horning@pa.dec.com
   X-Mts: smtp

   Maybe we should start a contest: A Larch Mug and T-shirt for the best
   contribution of {\em 1994}...

Not a bad idea.  I've already sent in my entry (:-).

	Gary

Prev: FWD: mechanical program/system verification request
Next: Calendar traits
Index: Larch archive index