Code

qrhl-test: check translation of \sub#714

Code

Closed

hendriktews wants to merge 1 commit intoProofGeneral:masterProofGeneral/PG:masterfrom hendriktews:qrhl-testhendriktews/PG:qrhl-testCopy head branch name to clipboard

+8-3

Commits

Commits on Oct 31, 2023

• qrhl-test: check translation of \sub

  hendriktews

  committed
  2a9a200

  Copy full SHA for 2a9a200