https://github.com/Dans-labs/clariah-gm
Tip revision: 0058117f1c997ff2d0b833dc5a867a3a6fc8dce3 authored by Dirk Roorda on 24 November 2021, 14:09:24 UTC
readme
readme
Tip revision: 0058117
log-trimTei.txt
dirk:~/github/Dans-labs/clariah-gm/programs > python3 trimTei.py
TEI trimmer for clariah-gm
TEI source version = 2020-09-10
volume 1
volume 2
volume 3
volume 4
volume 5
volume 6
volume 7
volume 8
volume 9
volume 10
volume 11
volume 12
volume 13
done
No collisions while constructing short letter ids