You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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?
The text was updated successfully, but these errors were encountered:
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?
The text was updated successfully, but these errors were encountered: