ken@gvax.cs.cornell.edu (Ken Birman) (06/09/89)
It has been pointed out to me that the V12 beta files all claim to be V1.1 source files in their first few lines. I'll fix this, but don't worry, the contents of the files are right... Also, the HPS800 and HPS300/makefile should probably specify SHELL=/bin/sh. Ken