Hi everyone, I've just decided to take a look at C-CoRN in earnest, and so I cloned the repo from github. However, I'm still using Coq 8.3pl4, and I don't see any branches or tags to indicate a point in time of the evolution of the code at which it would build, vs. any of the Coq 8.4 betas.
If someone could please let me know how I can build against the currently released version of Coq, I would be grateful. Thanks! Paul _______________________________________________ C-CoRN mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/c-corn
