...and then you had to use something like this https://en.wikipedia.org/wiki/Tip...

rob74 on March 16, 2023 | parent | context | favorite | on: How did Dennis Ritchie produce his PhD thesis? A t...

...and then you had to use something like this https://en.wikipedia.org/wiki/Tipp-Ex to "delete" a mistyped letter by typing it again in white, and then correct the error.