On 3/24/20 3:02 AM, Pavel Stehule wrote: > Hi > > rebase
Thank you, Pavel.
I have now had time to review it, and it looks good to me except for two issues.
The first is, even though I suggested gf, I think it should actually be gfmt. There may be something else in the future that starts with f and we shouldn't close ourselves off to it.
renamed to \gfmt
The second is tab completion doesn't work for the second argument. Adding the following fixes that: