[Avatarsdev-general] Dijkstra

[Mitchell W. <wa...@cc...>]

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

> Return-Path: <em...@cs...>
> Delivered-To: at...@cc...
> From: "E. Allen Emerson" <em...@cs...>
> Date: Tue, 6 Aug 2002 20:06:09 -0500
> X-Mailer: Mail User's Shell (7.2.6 beta(3) 11/17/96)
> To: at...@ne..., ke...@re..., si...@cs...
> Subject: Dijkstra
> Cc: em...@cs...

> died at 11pm 6 Aug in Neunen. He just stopped breathing. His family was
> with him.

> Allen

See http://www.cs.utexas.edu/users/UTCS/notices/dijkstra/ewdobit.html
for more details.

--Mitch