K 10
svn:author
V 3
max
K 8
svn:date
V 27
1996-12-30T18:31:18.000000Z
K 7
svn:log
V 117
Remove &a.jvh, &a.proven.
(They have cvs checkout privilege, but don't have commit privilege.)
Pointed-out by:	jorge

END
