K 10
svn:author
V 6
karels
K 8
svn:date
V 27
1984-12-20T15:00:22.000000Z
K 24
svn:entry:committed-date
V 27
1984-12-20T15:00:22.000000Z
K 7
svn:log
V 107
don't flush when opening open terminal; missing splx; a few more
sensiblity tests; rename spl's to spltty


END
