Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover/lean-client-js issues and pull requests
#59 - BrowserFS Deprecated
Issue -
State: open - Opened by dr-vortex 6 months ago
#58 - Fix crash on Lean 3.51.1 by using new emscripten FS API
Pull Request -
State: closed - Opened by eric-wieser over 1 year ago
#57 - Bump minimist from 1.2.5 to 1.2.8
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#56 - Bump json5, loader-utils, html-webpack-plugin and webpack
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#55 - Bump json5, copy-webpack-plugin, html-webpack-plugin, ts-loader, webpack and worker-loader
Pull Request -
State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies
#54 - Bump express from 4.17.1 to 4.18.2
Pull Request -
State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies
#53 - Bump qs from 6.5.2 to 6.5.3
Pull Request -
State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies
#52 - Bump decode-uri-component from 0.2.0 to 0.2.2
Pull Request -
State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies
#51 - Bump loader-utils and html-webpack-plugin
Pull Request -
State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies
#50 - Bump loader-utils and html-webpack-plugin
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#49 - Bump css-what from 2.1.0 to 2.1.3
Pull Request -
State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies
#48 - Add document symbol search, and show correct completion kinds.
Pull Request -
State: closed - Opened by Julian about 2 years ago
- 1 comment
#47 - Fix (respect) most end positions for diagnostics.
Pull Request -
State: closed - Opened by Julian about 2 years ago
#46 - Add SymbolKinds next to autocomplete and workspace searches
Pull Request -
State: closed - Opened by eric-wieser over 2 years ago
- 1 comment
#45 - Add new symbol messages
Pull Request -
State: closed - Opened by eric-wieser over 2 years ago
- 4 comments
#44 - Bump eventsource from 1.0.7 to 1.1.1
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#43 - Any plans for supporting wasm-compiled Lean 4 servers?
Issue -
State: closed - Opened by tnaoi over 2 years ago
- 1 comment
#42 - Bump tar from 4.4.13 to 4.4.19
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#41 - Bump node-fetch from 2.6.1 to 2.6.7
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#40 - Bump trim-off-newlines from 1.0.1 to 1.0.3
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#39 - Bump async from 2.6.3 to 2.6.4
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#38 - Bump async from 2.5.0 to 2.6.4 in /lean-client-js-browser
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#37 - Bump lodash from 4.17.20 to 4.17.21 in /lean-client-js-browser
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#36 - Make workspace symbol search work.
Pull Request -
State: closed - Opened by Julian over 2 years ago
- 1 comment
#35 - Bump minimist from 1.2.5 to 1.2.6
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#34 - Bump lodash from 4.17.20 to 4.17.21
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#33 - Bump url-parse from 1.4.7 to 1.5.10
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#32 - Bump url-parse from 1.4.7 to 1.5.7
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#31 - Bump follow-redirects from 1.13.0 to 1.14.8
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#30 - Bump ajv from 6.12.2 to 6.12.6
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#29 - Bump handlebars from 4.7.6 to 4.7.7
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#28 - Question about request types.
Issue -
State: open - Opened by MaboroshiChan almost 3 years ago
- 1 comment
#27 - Properly convert 'no goals' into an empty goal array.
Pull Request -
State: closed - Opened by Julian about 3 years ago
#26 - Add the full text of Apache 2.0
Pull Request -
State: closed - Opened by Julian about 3 years ago
#25 - Add widget event interactions too.
Pull Request -
State: closed - Opened by Julian about 3 years ago
#24 - Don't show tactic state in hover, backport plainGoal requests instead
Pull Request -
State: closed - Opened by Julian about 3 years ago
- 2 comments
#23 - Add support for discovering widgets to the language server.
Pull Request -
State: closed - Opened by Julian about 3 years ago
- 2 comments
#22 - Update to a modern vscode-languageserver
Pull Request -
State: closed - Opened by Julian about 3 years ago
- 2 comments
#21 - Allow passing extra arguments along in lean-language-server
Pull Request -
State: closed - Opened by Julian almost 4 years ago
- 7 comments
#20 - Bump ini from 1.3.5 to 1.3.7
Pull Request -
State: closed - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#19 - Bump lodash from 4.17.15 to 4.17.20 in /lean-client-js-browser
Pull Request -
State: closed - Opened by dependabot[bot] about 4 years ago
Labels: dependencies
#18 - Bump elliptic from 6.5.2 to 6.5.3
Pull Request -
State: closed - Opened by dependabot[bot] about 4 years ago
- 1 comment
Labels: dependencies
#17 - Bump lodash from 4.17.15 to 4.17.19
Pull Request -
State: closed - Opened by dependabot[bot] about 4 years ago
- 1 comment
Labels: dependencies
#16 - Bump lodash from 4.17.15 to 4.17.19 in /lean-client-js-browser
Pull Request -
State: closed - Opened by dependabot[bot] about 4 years ago
- 1 comment
Labels: dependencies
#15 - lean-client-js-browser: remove support for running in main thread, caching library.zip in IndexedDB
Pull Request -
State: closed - Opened by bryangingechen about 4 years ago
- 2 comments
#14 - Add support for widget effects
Pull Request -
State: closed - Opened by EdAyers about 4 years ago
#13 - Add support for get_widget command
Pull Request -
State: closed - Opened by EdAyers over 4 years ago
- 1 comment
#12 - Add a widgets flag to InfoRequest
Pull Request -
State: closed - Opened by EdAyers over 4 years ago
- 7 comments
#11 - Bump lodash.template from 4.4.0 to 4.5.0
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#10 - Bump diff from 3.4.0 to 3.5.0
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#9 - Bump webpack-dev-server from 2.11.5 to 3.1.11
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#8 - Bump websocket-extensions from 0.1.1 to 0.1.4
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#8 - Bump websocket-extensions from 0.1.1 to 0.1.4
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#7 - Add support for widgets and makeProxyTransport.
Pull Request -
State: closed - Opened by EdAyers over 4 years ago
#7 - Add support for widgets and makeProxyTransport.
Pull Request -
State: closed - Opened by EdAyers over 4 years ago
#6 - Bump url-parse from 1.0.5 to 1.4.7
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#6 - Bump url-parse from 1.0.5 to 1.4.7
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#5 - Missing LICENSE
Issue -
State: closed - Opened by cpehle over 5 years ago
- 1 comment
#4 - Added shebang so it can be executed with -g flag
Pull Request -
State: closed - Opened by thyrgle about 6 years ago
- 2 comments
#3 - fix, per kripken/emscripten#6146
Pull Request -
State: closed - Opened by semorrison over 6 years ago
#3 - fix, per kripken/emscripten#6146
Pull Request -
State: closed - Opened by semorrison over 6 years ago
#2 - Use case as vscode-style plugin for ace?
Issue -
State: open - Opened by glangmead over 7 years ago
- 1 comment
#1 - Type error running "npm run demo"
Issue -
State: closed - Opened by glangmead over 7 years ago
- 4 comments
#1 - Type error running "npm run demo"
Issue -
State: closed - Opened by glangmead over 7 years ago
- 4 comments