Stream: Coq devs & plugin devs

Topic: Building Gappa Plugin


view this post on Zulip Michael Soegtrop (Jun 09 2020 at 20:28):

I am trying to build the gappa plugin for the 8.12 beta (I got the gappa C++ tool built). When compiling the plugin I get:

Unbound module Vernacstate.Proof_global

Is there some easy fix or is this more a game over for today thing?


Last updated: Mar 28 2024 at 22:01 UTC