I just updated my VsCoq to v2.1.2 from v0.3.9 (sorry for the delay) but I found a problem that using Restart and Undo will cause an error message 'Unsupported Command'. It seems that the backtrack tactics are yet to be implemented in v2.1.2. Is that the case?
I just updated my VsCoq to v2.1.2 from v0.3.9 (sorry for the delay) but I found a problem that using Restart and Undo will cause an error message 'Unsupported Command'. It seems that the backtrack tactics are yet to be implemented in v2.1.2. Is that the case?