10 Sep
2015
10 Sep
'15
7:42 a.m.
On Thu, 10 Sep 2015, Al Kossow wrote:
they are PUNCHED cards
look at ALL of the documentation of the period
NO ONE called them PUNCH cards
Half a century ago, there were already some people who got it wrong.
I had a boss who insisted that blanks in the box were "PUNCH CARDS",
that it wasn't until they got used that they became "PUNCHED CARDS".
He also said that the colored pencils that I manually did graphs
with were "COLOUR PENCILS".
--
Grumpy Ol' Fred cisin at xenosoft.com