Skip to content

Conversation

@masinter
Copy link
Member

@masinter masinter commented Nov 6, 2023

No description provided.

@masinter masinter force-pushed the more-library-tedits branch from 2bf5ff4 to bfb22e3 Compare November 29, 2023 15:30
@masinter masinter requested review from Anzus and rmkaplan November 29, 2023 15:32
@rmkaplan
Copy link
Contributor

Looking at a sample of these, most of these seem to correspond to the PDF's I have in the directory of old library documents (that I think I originally scanned). It's great to have editable versions, finally.

The only discrepancy I see is with Color. This is the only one with a previous Tedit, a new Tedit, and a scanned image. They are all different, in substantial ways. It could be that the information is the same, just scrambled around. The one in this PR may be the most current, since it has the indexing image objects. In terms of provenance, is the PR version clearly the one to keep?

Copy link
Contributor

@rmkaplan rmkaplan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

After our discussion in the meeting today, I think the new Color.pdf is more likely to be the best one for current implementation. It is tagged as "Medley", the previous one was tagged as "Kaleidoscope", in 1989/

So I'm approving this.

@masinter masinter merged commit 735108e into master Nov 29, 2023
@masinter masinter deleted the more-library-tedits branch December 2, 2023 02:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants