Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[roadmap] Info panel general issue #246

Open
ejgallego opened this issue Jan 25, 2023 · 0 comments
Open

[roadmap] Info panel general issue #246

ejgallego opened this issue Jan 25, 2023 · 0 comments
Labels
kind: meta

Comments

@ejgallego
Copy link
Owner

ejgallego commented Jan 25, 2023 •
edited
Loading

Hi folks, I'm opening this issue to discuss and coordinate the plans about the Info panel.

For now, we hope to share our info panel implementation in vsCode and jsCoq (as I just learned Lean already does :)), and maybe by other Coq initiatives.

I will add more stuff to this issue later on.

Info Panel Goals

History of the panel

  • v0 (coqtop, PG)
  • v1 (Original jsCoq)
  • v2 (Shachar improvs)

Browser vs node

Interaction with coq-layout-engine

See #72 for more info about Coq Layout Engine

Related Work

Lean info view

Isabelle's IDE
@Alizter Alizter moved this to Todo in coq-lsp roadmap Jan 29, 2023
@Alizter Alizter moved this from Todo to Meta in coq-lsp roadmap Jan 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: meta
Projects
coq-lsp roadmap
Status: Meta
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ejgallego