Stream: Coq devs & plugin devs

Topic: Undoing Syntax Extensions

view this post on Zulip Emilio Jesús Gallego Arias (Jan 09 2023 at 15:42):

I was wondering if other than , which is gonna take a while, we could do a quicker fix for the issue of the disappearing keywords witnessed in

Last updated: Dec 05 2023 at 04:01 UTC