Closed HaleliHarel closed 1 year ago
In 'tokens for lemma X', add the witness + line in brackets i.e. (pAnastasi VI, 8) at the end of the token line.
Added to lemmas. Where to add to tokens?
Solved.
In 'tokens for lemma X', add the witness + line in brackets i.e. (pAnastasi VI, 8) at the end of the token line.