Karl Palmskog (Aug 12 2020 at 13:25): Karl Palmskog (Aug 12 2020 at 13:25):@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
Théo Zimmermann (Aug 12 2020 at 14:04):This is surprising because I recall having tested my patch on an existing project to check that nothing had changed.
Théo Zimmermann (Aug 12 2020 at 14:04):And yet, I don't see what else could cause this.
Karl Palmskog (Aug 12 2020 at 14:07): Théo Zimmermann (Aug 12 2020 at 14:08):I've seen the same thing on lemma-overloading. And I just confirmed that your diagnosis is right.
Théo Zimmermann (Aug 12 2020 at 14:08):What puzzles me is that I recall having tested this change.
Théo Zimmermann (Aug 12 2020 at 14:09):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.
Théo Zimmermann (Aug 12 2020 at 14:12):See https://github.com/coq-community/templates/pull/72
Last updated: Jun 03 2023 at 18:01 UTC