Skip to content

Issues: SReichelt/slate

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

46 Open 40 Closed
46 Open 40 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Fix Live Share problems due to direct filesystem access bug Something isn't working component: vscode extension Issue concerns the Slate extension for Visual Studio Code
#98 opened Jan 17, 2021 by SReichelt
Systematically add tests for proof checking component: hlm logic Issue concerns the HLM logic
#96 opened Jan 10, 2021 by SReichelt
Known proof input bugs bug Something isn't working component: hlm logic Issue concerns the HLM logic
#95 opened Jan 10, 2021 by SReichelt
Add support for exercises component: gui Issue concerns the web-based user interface enhancement New feature or request good first issue Good for newcomers
#92 opened Jan 6, 2021 by SReichelt
Enhancements for link checking enhancement New feature or request external dependency Waiting for a bugfix or feature in another product good first issue Good for newcomers
#90 opened Jan 6, 2021 by SReichelt
1 of 2 tasks
Integrate blog/discussions into start page component: gui Issue concerns the web-based user interface enhancement New feature or request external dependency Waiting for a bugfix or feature in another product
#83 opened Dec 15, 2020 by SReichelt
Position menus intelligently component: gui Issue concerns the web-based user interface good first issue Good for newcomers
#77 opened Aug 30, 2020 by SReichelt 1. Web-based input of definitions and theorem statements
Improve syntax highlighting in Visual Studio Code extension component: vscode extension Issue concerns the Slate extension for Visual Studio Code enhancement New feature or request good first issue Good for newcomers
#75 opened Aug 25, 2020 by SReichelt
Directly allow numbers as terms component: hlm logic Issue concerns the HLM logic
#74 opened Aug 25, 2020 by SReichelt 1. Web-based input of definitions and theorem statements
@SReichelt
Rename operations sometimes produce broken results bug Something isn't working component: vscode extension Issue concerns the Slate extension for Visual Studio Code
#70 opened Jul 15, 2020 by SReichelt
@SReichelt
Auto-filling of placeholders sometimes fails on first try bug Something isn't working component: gui Issue concerns the web-based user interface component: hlm logic Issue concerns the HLM logic
#69 opened Jul 15, 2020 by SReichelt 1. Web-based input of definitions and theorem statements
@SReichelt
Better treatment of auto parameters when filling placeholders component: hlm logic Issue concerns the HLM logic
#64 opened May 28, 2020 by SReichelt 3. Complete implementation of HLM rules
@SReichelt
Conveniently support common proof patterns component: gui Issue concerns the web-based user interface component: hlm logic Issue concerns the HLM logic enhancement New feature or request
#63 opened May 24, 2020 by SReichelt 4. Efficient proof input
Add keyboard input component: gui Issue concerns the web-based user interface enhancement New feature or request good first issue Good for newcomers
#62 opened May 23, 2020 by SReichelt 4. Efficient proof input
Handle embeddings more restrictively in GUI component: gui Issue concerns the web-based user interface component: hlm logic Issue concerns the HLM logic enhancement New feature or request
#61 opened May 17, 2020 by SReichelt 3. Complete implementation of HLM rules
@SReichelt
More explicit type constraints for arguments component: hlm logic Issue concerns the HLM logic
#60 opened May 16, 2020 by SReichelt 3. Complete implementation of HLM rules
@SReichelt
Add ability to remove parameters component: gui Issue concerns the web-based user interface enhancement New feature or request
#59 opened May 16, 2020 by SReichelt 1. Web-based input of definitions and theorem statements
@SReichelt
Add special support for forgetful functors component: hlm logic Issue concerns the HLM logic enhancement New feature or request
#58 opened May 16, 2020 by SReichelt 4. Efficient proof input
Add ability to input advanced content in the GUI component: gui Issue concerns the web-based user interface component: hlm logic Issue concerns the HLM logic enhancement New feature or request
#57 opened May 16, 2020 by SReichelt 4. Efficient proof input
Support Slate instances without anonymous contributions component: gui Issue concerns the web-based user interface enhancement New feature or request
#55 opened May 16, 2020 by SReichelt
Synchronize selection between text editor and webview component: vscode extension Issue concerns the Slate extension for Visual Studio Code enhancement New feature or request
#54 opened May 12, 2020 by SReichelt
Do not filter types if no restrictions exist component: gui Issue concerns the web-based user interface component: hlm logic Issue concerns the HLM logic enhancement New feature or request
#51 opened Feb 22, 2020 by SReichelt 1. Web-based input of definitions and theorem statements
@SReichelt
Add interactive tutorial component: gui Issue concerns the web-based user interface
#47 opened Feb 16, 2020 by SReichelt 1. Web-based input of definitions and theorem statements
@SReichelt
Attach usage suggestions to set definitions component: gui Issue concerns the web-based user interface component: hlm logic Issue concerns the HLM logic enhancement New feature or request
#46 opened Feb 14, 2020 by SReichelt 1. Web-based input of definitions and theorem statements
@SReichelt
Show hidden unfilled placeholders component: gui Issue concerns the web-based user interface enhancement New feature or request
#44 opened Feb 13, 2020 by SReichelt 1. Web-based input of definitions and theorem statements
ProTip! Find all open issues with in progress development work with linked:pr.