syntax: Highlight Goal in any context#935

Merged

rtetley merged 1 commit intocoq:mainfrom Lysxia:goal

Nov 22, 2024

+5-1

Commits on Nov 22, 2024

syntax: Highlight Goal in any context

Lysxia
authored and
rtetley
committed