Skip to content

Pull requests: leanprover/vscode-lean

New pull request New
20 Open 175 Closed
20 Open 175 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix link to widgets in mathlib3 documentation
#342 opened Sep 4, 2024 by m4lvin Loading…
Bump terser from 5.7.0 to 5.16.3 dependencies Pull requests that update a dependency file
#332 opened Feb 13, 2023 by dependabot bot Loading…
Bump minimist from 1.2.5 to 1.2.8 dependencies Pull requests that update a dependency file
#331 opened Feb 13, 2023 by dependabot bot Loading…
Bump nth-check from 2.0.0 to 2.1.1 dependencies Pull requests that update a dependency file
#330 opened Feb 13, 2023 by dependabot bot Loading…
Bump follow-redirects from 1.14.1 to 1.15.2 dependencies Pull requests that update a dependency file
#329 opened Feb 13, 2023 by dependabot bot Loading…
Bump minimatch from 3.0.4 to 3.1.2 dependencies Pull requests that update a dependency file
#326 opened Jan 10, 2023 by dependabot bot Loading…
Bump json5 from 2.1.3 to 2.2.3 dependencies Pull requests that update a dependency file
#325 opened Jan 6, 2023 by dependabot bot Loading…
Bump express from 4.17.1 to 4.17.3 dependencies Pull requests that update a dependency file
#324 opened Dec 12, 2022 by dependabot bot Loading…
Bump qs and express dependencies Pull requests that update a dependency file
#323 opened Dec 6, 2022 by dependabot bot Loading…
Bump loader-utils from 2.0.0 to 2.0.4 dependencies Pull requests that update a dependency file
#318 opened Nov 15, 2022 by dependabot bot Loading…
Bump underscore and ovsx dependencies Pull requests that update a dependency file
#316 opened Nov 2, 2022 by dependabot bot Loading…
Bump markdown-it, ovsx and vsce dependencies Pull requests that update a dependency file
#313 opened Sep 14, 2022 by dependabot bot Loading…
Bump nanoid from 3.1.23 to 3.3.4 dependencies Pull requests that update a dependency file
#299 opened May 14, 2022 by dependabot bot Loading…
Bump ansi-regex from 5.0.0 to 5.0.1 dependencies Pull requests that update a dependency file
#294 opened Feb 18, 2022 by dependabot bot Loading…
Bump ajv from 6.11.0 to 6.12.6 dependencies Pull requests that update a dependency file
#289 opened Feb 11, 2022 by dependabot bot Loading…
Bump axios from 0.21.1 to 0.21.2 dependencies Pull requests that update a dependency file
#283 opened Nov 26, 2021 by dependabot bot Loading…
Get position
#281 opened Oct 12, 2021 by javier-m Loading…
3
(WIP) add insertGoal command
#233 opened Nov 14, 2020 by bryangingechen • Draft
1
Add some basic snippets
#214 opened Jul 27, 2020 by eric-wieser Loading…
7
Refactor so that all vscode-specific infoview stuff is in vscode_info_server.ts
#204 opened Jul 8, 2020 by EdAyers • Draft
2 tasks
6
ProTip! Exclude everything labeled bug with -label:bug.