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
Thanks for pointing that out, it should be fixed now by 984608f. The syntax script is based on one that was written quite a while ago so I wouldn't be surprised if many newer Coq features are not correctly supported. Feel free to submit more issues if you find any
The
From my_lib Require my_module
syntax doesn't seem to be handled.The text was updated successfully, but these errors were encountered: