Frédéric Blanqui
Frédéric Blanqui
Hi. The sources of coq-color are on https://github.com/fblanqui/color/ for some time now. However, the targz are on gforge. I will try to move them to github as well by the...
Concerning menhir 20211125, I now see it on my machine with opam info.
I added an issue on menhir: https://gitlab.inria.fr/fpottier/menhir/-/issues/57.
Hello @firewall2142 . Would you have some time to look at this problem too?
See tests/OK/admit.lp. There are several problems: Emacs: - if we do Ctrl+C & Ctrl+C on the first admitted, we get no warnings - to get them we need to do...
@firewall2142 Could you please elaborate? How would you proceed?
Right. But we could perhaps do something about this by providing some warning or by making sure that names used for printing bound variables are distinct from locally declared function...
ocamlformat moved to 0.20.0
Right. But ocamlformat is not used yet. In fact, there should be no such file. Perhaps we could use it after your PR.