Skip to content

Pull requests: isabelle-prover/mirror-isabelle

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Bump debug and mocha in /src/Tools/VSCode/no_extension dependencies Pull requests that update a dependency file
#1 opened Jan 11, 2023 by dependabot bot Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.