@Anton Trunov I think the spacing of bullets in https://github.com/coq-community/alea#readme is wrong now after the update to the latest template. Maybe you can report this issue in the template repo? I think it's due to the recently-introduced
after_authors field. cc: @Théo Zimmermann
This is surprising because I recall having tested my patch on an existing project to check that nothing had changed.
And yet, I don't see what else could cause this.
see here: https://github.com/coq-community/alea/commit/7beade0d375deb5ff10cbc318a4b5c65c754d806#diff-04c6e90faac2675aa89e2176d2eec7d8R35
I've seen the same thing on lemma-overloading. And I just confirmed that your diagnosis is right.
What puzzles me is that I recall having tested this change.
Furthermore, it's not very nice from mustache to add a new line for something empty that is supposedly added at the end of the line.
Last updated: Dec 07 2023 at 17:01 UTC