short or long names Sven Hartrumpf (17 Dec 2002 13:54 UTC)
Re: short or long names bear (17 Dec 2002 15:07 UTC)

short or long names Sven Hartrumpf 17 Dec 2002 13:54 UTC

How about shorter names (and making names analogous for read and write)?

write-sharing (or write-shared or ...) instead of write-showing-shared
read-sharing (or read-shared or ...)   instead of read-with-shared-structure

Ciao
Sven