K 10
svn:author
V 3
rrh
K 8
svn:date
V 27
1983-07-01T09:42:50.000000Z
K 24
svn:entry:committed-date
V 27
1983-07-01T09:42:50.000000Z
K 7
svn:log
V 125
savestr now saves strings in both a file and in core; fixed
a bug with savestr being too generous in saving strings in core


END
