-
Notifications
You must be signed in to change notification settings - Fork 75
Pull requests: coq/vscoq
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
syntax highlighting: Treat
Compute
as a Vernacular keyword
#1038
opened Feb 18, 2025 by
KacperFKorban
•
Review required
build(deps-dev): bump vite from 2.9.18 to 4.5.6 in /client/pp-display
dependencies
Pull requests that update a dependency file
#1018
opened Jan 29, 2025 by
dependabot
bot
Loading…
Adapt to Coq PR #19301: unify the syntax of definition and theorem
#932
opened Oct 24, 2024 by
herbelin
Loading…
Add Prettify and Lint scripts for each sub-project and top level client
#923
opened Oct 3, 2024 by
Durbatuluk1701
•
Draft
ProTip!
no:milestone will show everything without a milestone.