Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / leanprover/verso issues and pull requests

#49 - fix: guard CSS hover rules in a media query

Pull Request - State: closed - Opened by david-christiansen 9 months ago

#49 - fix: guard CSS hover rules in a media query

Pull Request - State: closed - Opened by david-christiansen 9 months ago

#48 - feat: summaries of long output in blog genre

Pull Request - State: closed - Opened by david-christiansen 9 months ago

#48 - feat: summaries of long output in blog genre

Pull Request - State: closed - Opened by david-christiansen 9 months ago

#47 - chore: remove Std dependency

Pull Request - State: closed - Opened by david-christiansen 9 months ago

#47 - chore: remove Std dependency

Pull Request - State: closed - Opened by david-christiansen 9 months ago

#46 - chore: ignore .lake and _out

Pull Request - State: closed - Opened by philderbeast 9 months ago - 1 comment

#46 - chore: ignore .lake and _out

Pull Request - State: closed - Opened by philderbeast 9 months ago - 1 comment

#45 - feat: error recovery in parser

Pull Request - State: closed - Opened by david-christiansen 9 months ago

#45 - feat: error recovery in parser

Pull Request - State: closed - Opened by david-christiansen 9 months ago

#44 - fix: have the delaborator tag functions being applied

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#44 - fix: have the delaborator tag functions being applied

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#43 - fix: show summaries of posts at a reasonable length

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#43 - fix: show summaries of posts at a reasonable length

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#42 - Save Lean example contexts for later

Issue - State: open - Opened by david-christiansen 10 months ago - 1 comment

#42 - Save Lean example contexts for later

Issue - State: open - Opened by david-christiansen 10 months ago - 1 comment

#41 - chore: add link checker for example site to CI

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#41 - chore: add link checker for example site to CI

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#39 - feat: redo keyword highlighting

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#39 - feat: redo keyword highlighting

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#38 - feat: highlighting and popups in tactic states

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#38 - feat: highlighting and popups in tactic states

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#37 - Unclear how to embed (page-specific) JS

Issue - State: closed - Opened by Kha 10 months ago - 2 comments

#37 - Unclear how to embed (page-specific) JS

Issue - State: closed - Opened by Kha 10 months ago - 2 comments

#36 - fix: rendering issues with string literals and code

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#36 - fix: rendering issues with string literals and code

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#35 - feat: Categories for blog posts

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#35 - feat: Categories for blog posts

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#34 - Bump `lean-toolchain`

Pull Request - State: closed - Opened by 0art0 10 months ago - 2 comments

#33 - fix: dotted identifiers' highlighting

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#33 - fix: dotted identifiers' highlighting

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#32 - static site generator

Issue - State: closed - Opened by arademaker 10 months ago - 1 comment

#32 - static site generator

Issue - State: closed - Opened by arademaker 10 months ago - 1 comment

#31 - feat: show first goal in tactics

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#31 - feat: show first goal in tactics

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#30 - fix: bogus nested tactics

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#30 - fix: bogus nested tactics

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#29 - feat: show tactic states in HTML

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#29 - feat: show tactic states in HTML

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#28 - Source code highlighting improvements

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#28 - Source code highlighting improvements

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#27 - HTML highlighting doesn't show types

Issue - State: closed - Opened by david-christiansen 10 months ago
Labels: highlighting

#27 - HTML highlighting doesn't show types

Issue - State: closed - Opened by david-christiansen 10 months ago
Labels: highlighting

#26 - fix: add type annotations to blocks

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#26 - fix: add type annotations to blocks

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#25 - feat: simple support for syntax-highlighted text

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#25 - feat: simple support for syntax-highlighted text

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#24 - feat: LSP folding for lists

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#24 - feat: LSP folding for lists

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#23 - feat: LSP support for folding regions for sections

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#23 - feat: LSP support for folding regions for sections

Pull Request - State: closed - Opened by david-christiansen 10 months ago

#22 - chore: bump deps and simplify lakefile

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#22 - chore: bump deps and simplify lakefile

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#21 - feat: rewrite URLs to relative in blog genre

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#21 - feat: rewrite URLs to relative in blog genre

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#20 - Demo site

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#20 - Demo site

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#19 - chore: enable caching in CI

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#19 - chore: enable caching in CI

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#18 - doc: add automatic syntax examples to manual

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#18 - doc: add automatic syntax examples to manual

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#17 - fix: get rid of double <h1> around page titles

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#17 - fix: get rid of double <h1> around page titles

Pull Request - State: closed - Opened by david-christiansen 11 months ago

#16 - Generate RSS/Atom feeds

Issue - State: open - Opened by david-christiansen 11 months ago
Labels: Blog genre

#16 - Generate RSS/Atom feeds

Issue - State: open - Opened by david-christiansen 11 months ago
Labels: Blog genre

#15 - Support manually-specified token categories for fragments

Issue - State: open - Opened by david-christiansen 11 months ago - 1 comment
Labels: highlighting

#15 - Support manually-specified token categories for fragments

Issue - State: open - Opened by david-christiansen 11 months ago - 1 comment
Labels: highlighting

#14 - Have matching begin-end keywords light each other up

Issue - State: closed - Opened by david-christiansen 11 months ago
Labels: highlighting

#14 - Have matching begin-end keywords light each other up

Issue - State: closed - Opened by david-christiansen 11 months ago
Labels: highlighting

#13 - Bogus highlighting in some recursive functions

Issue - State: closed - Opened by david-christiansen 11 months ago
Labels: highlighting

#13 - Bogus highlighting in some recursive functions

Issue - State: closed - Opened by david-christiansen 11 months ago
Labels: highlighting

#12 - Generate self-contained HTML

Issue - State: open - Opened by david-christiansen 11 months ago
Labels: Manual genre

#12 - Generate self-contained HTML

Issue - State: open - Opened by david-christiansen 11 months ago
Labels: Manual genre

#11 - Newlines do not count as whitespace.

Issue - State: closed - Opened by nomeata 11 months ago - 1 comment

#9 - Add a way to specify scopes (global or local) of expressions

Issue - State: open - Opened by david-christiansen 12 months ago
Labels: highlighting

#8 - Double-hover

Issue - State: closed - Opened by nomeata 12 months ago - 1 comment

#7 - Hash-commands not printed in codeblocks?

Issue - State: closed - Opened by nomeata 12 months ago

#6 - Wrong nesting of <section>

Issue - State: closed - Opened by nomeata 12 months ago

#4 - lake script generate does not show build errors

Issue - State: open - Opened by nomeata 12 months ago - 1 comment

#3 - #exit not supported

Issue - State: open - Opened by nomeata 12 months ago - 2 comments

#2 - PANIC at Option.get! Init.Data.Option.BasicAux:16:14: value is none

Issue - State: closed - Opened by nomeata 12 months ago - 4 comments

#1 - chore: setup CI

Pull Request - State: closed - Opened by david-christiansen 12 months ago