What's the point of the "repeat" option?

[jakubgros]

Hello. I would like to learn what's the point of the "repeat" coq's option. Wouldn't that be possible to integrate it with the native repeat option (bound by default to dot)? That would be much more convenient.

[Shougo]

Hm... To support dot repeat is very hard. Because . register cannot modify in plugin side. I know nvim-cmp implements feature, it is very hacked code.