Skip to content

Issues: diproche/webinterface

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

19 Open 39 Closed
19 Open 39 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

Display syntactical errors bug Something isn't working
#119 opened Aug 22, 2019 by Korosensei42
swipl-wasm should use the virtual file system to load diproche
#117 opened Aug 20, 2019 by TimothyGillespie
ProofEditor Won't Show Issues If Not Served bug Something isn't working
#110 opened Aug 12, 2019 by TimothyGillespie Usable Without A Server Of Any Kind
1
React Router Doesn't Work When Not Served bug Something isn't working
#108 opened Aug 12, 2019 by TimothyGillespie Usable Without A Server Of Any Kind
@TimothyGillespie
3
Exercise Specific Processing
#107 opened Aug 11, 2019 by TimothyGillespie
implement a library of exercises
#73 opened Jul 4, 2019 by RonjaKaehne July Milestone
@Korosensei42
Write up a technical glossary
#72 opened Jul 4, 2019 by Korosensei42
@Korosensei42
7
implement a tutorial-page for propositional logic
#71 opened Jul 4, 2019 by RonjaKaehne
@RonjaKaehne
Thinking about an App/Project logo design
#67 opened Jul 2, 2019 by RonjaKaehne
1
Thinking about a input helper
#59 opened Jun 27, 2019 by RonjaKaehne
Fetching the position of diproche errors
#58 opened Jun 27, 2019 by TimothyGillespie July Milestone
@TimothyGillespie
Create a mockup of the website design
#55 opened Jun 27, 2019 by Korosensei42 July Milestone
@Korosensei42
6
Fancy presentation and intuitive input for (in-)equality-chains enhancement New feature or request
#21 opened May 9, 2019 by Khazuar Really well usable version
Allow entering of equality/inequality-chains enhancement New feature or request
#20 opened May 9, 2019 by Khazuar
Present issues directly in the input enhancement New feature or request
#19 opened May 9, 2019 by Khazuar July Milestone
@TimothyGillespie
Allow parsing of LaTeX-formulas into Prolog-format enhancement New feature or request
#17 opened May 9, 2019 by Khazuar Really well usable version
Build a text-input react component that allows entering of properly styled formulas enhancement New feature or request
#16 opened May 9, 2019 by Khazuar Really well usable version
Integrate Diproche as a lose/flexable dependency enhancement New feature or request
#4 opened Apr 13, 2019 by TimothyGillespie Usable Without A Server Of Any Kind
@TimothyGillespie
Integrate Prolog enhancement New feature or request
#3 opened Apr 13, 2019 by TimothyGillespie Usable Without A Server Of Any Kind
@TimothyGillespie
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.