Karl Palmskog

Some general comments on Zenodo and citations. I think it's great to have the possibility of precisely pinpointing a specific Coq version. However, if I want to cite a particular...

The ideal would for sure be to have a DOI for every version of the Coq manual, but at least having a _guaranteed stable URL_ for a pdf is a...

I think this issue should still be open, since there is still no official way to cite (exactly) the manual. I currently use the semi-stable HTML URLs at Coq's website...

The whole point of this repository is that it should be a *template* repository that people can clone and make their own changes to, and it includes CI configuration and...

Since Dune is the build system of Coq, the point of this repo is to highlight using Dune to build plugins. To my knowledge, `_CoqProject`/coq_makefile can't be made to work...

OK, I'm fine with adding a `_CoqProject` only for editor purposes.

Fine by me to reopen, but the original issue was sort of an [X/Y problem](https://en.wikipedia.org/wiki/XY_problem) since you can have coq_makefile builds without `_CoqProject`.

We hope to support 8.11 at least in time for the presentation of our [tool paper](http://users.ece.utexas.edu/~gligoric/papers/JainETAL20mCoqTool.pdf) at ICSE 2020, but it's difficult to give a more specific timeframe right now....

`README.md` is autogenerated from `meta.yml` with [mustache](https://mustache.github.io/). We have other templates that use `meta.yml` also that could be useful: https://github.com/coq-community/templates Finally, it makes detailed repo metadata machine-readable, which we hope...

Example: ``` chat: url: https://coq.zulipchat.com/#narrow/stream/284683-GraphTheory shield: Zulip ``` However, I don't understand how it would make sense to use a stream specifically dedicated to an event that has already taken...