Add support for 'repeat-mode'#867

username231419 wants to merge 1 commit intoProofGeneral:masterProofGeneral/PG:masterfrom

username231419:masterusername231419/PG:masterCopy head branch name to clipboard