Skip to content

maintenance#17

Merged
frankrolf merged 6 commits into
mainfrom
maintenance
Jul 21, 2025
Merged

maintenance#17
frankrolf merged 6 commits into
mainfrom
maintenance

Conversation

@frankrolf

Copy link
Copy Markdown
Member

minor fixes and updates, notably:

  • multi-processed comparisonProof
  • more robust textProof

multiprocessing to make a slow script faster – it still is slow, but execution speed has improved by a factor of 3.
* allow reading an input text file
* make arguments more logical (requiring -f for fonts, and -s for secondary fonts)
os/2 → OS/2
@frankrolf frankrolf merged commit 3612ea6 into main Jul 21, 2025
@frankrolf frankrolf deleted the maintenance branch July 21, 2025 12:27
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.

1 participant