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 https://github.com/coq/coq/pull/17069 , which is gonna take a while, we could do a quicker fix for the issue of the disappearing keywords witnessed in https://github.com/coq/coq/issues/12575#issuecomment-1370135265


Last updated: Mar 29 2024 at 05:40 UTC