Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / codewars/codemirror-agda issues and pull requests
#15 - Bump terser from 5.6.0 to 5.14.2
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#14 - Bump codemirror from 5.44.0 to 5.58.2
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#13 - Rewrite using codemirror-unicode-helper
Pull Request -
State: closed - Opened by kazk over 3 years ago
#12 - Use release published
Pull Request -
State: closed - Opened by kazk over 4 years ago
#11 - Publish package when a release is created
Pull Request -
State: closed - Opened by kazk over 4 years ago
#10 - Bump acorn from 6.1.1 to 6.4.1
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#9 - Prepare to publish
Pull Request -
State: closed - Opened by kazk over 4 years ago
#8 - Publishing package to npm
Issue -
State: closed - Opened by akiomik over 4 years ago
- 3 comments
#7 - Add more superscript/subscript symbols
Issue -
State: open - Opened by Bubbler-4 over 5 years ago
#6 - Uncomment ceiling and floor symbols
Pull Request -
State: closed - Opened by kazk over 5 years ago
#5 - Uncomment ceiling and floor symbols
Issue -
State: closed - Opened by Bubbler-4 over 5 years ago
- 2 comments
#4 - Add few keywords
Pull Request -
State: closed - Opened by kazk over 5 years ago
#3 - Remove CodeMirror.defineInitHook
Pull Request -
State: closed - Opened by kazk over 5 years ago
#2 - Some keyword-like symbols can be highlighted as keywords too
Issue -
State: closed - Opened by ice1000 over 5 years ago
- 2 comments
#1 - Fix buggy chars in autocomplete, refine translation table
Pull Request -
State: closed - Opened by Bubbler-4 over 5 years ago
- 1 comment