Add Equations and Equations? to coq.tmLanguage.json to get coloring

coq / vscoq

Visual Studio Code extension for Coq

MIT License

336 stars 68 forks source link

Closed thomas-lamiaux closed 4 months ago

thomas-lamiaux commented 4 months ago

Add Equations and Equations? to coq.tmLanguage.json to get coloring

rtetley commented 4 months ago

Thanks !