Skip to content

Add support for 'repeat-mode'#867

Open
username231419 wants to merge 2 commits into
ProofGeneral:masterfrom
username231419:master
Open

Add support for 'repeat-mode'#867
username231419 wants to merge 2 commits into
ProofGeneral:masterfrom
username231419:master

Inherit input-method when asking user

0c4df8a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check-doc-magic (29.4)
succeeded Jun 3, 2026 in 30s