Search results

Display syntactical errors

bugSomething isn't workingSomething isn't working

Status: Open.

#119 In diproche/webinterface;

· Korosensei42 opened on Aug 22, 2019

swipl-wasm should use the virtual file system to load diproche

Status: Open.

#117 In diproche/webinterface;

· TimothyGillespie opened on Aug 20, 2019

ProofEditor Won't Show Issues If Not Served

bugSomething isn't workingSomething isn't working

Status: Open.

#110 In diproche/webinterface;

· TimothyGillespie opened on Aug 12, 2019

·  

Usable Without A Server Of Any Kind

React Router Doesn't Work When Not Served

bugSomething isn't workingSomething isn't working

Status: Open.

#108 In diproche/webinterface;

· TimothyGillespie opened on Aug 12, 2019

·  

Usable Without A Server Of Any Kind

Exercise Specific Processing

Status: Open.

#107 In diproche/webinterface;

· TimothyGillespie opened on Aug 11, 2019

implement a library of exercises

Status: Open.

#73 In diproche/webinterface;

· RonjaKaehne opened on Jul 4, 2019

·  

July Milestone

Write up a technical glossary

Status: Open.

#72 In diproche/webinterface;

· Korosensei42 opened on Jul 4, 2019

implement a tutorial-page for propositional logic

Status: Open.

#71 In diproche/webinterface;

· RonjaKaehne opened on Jul 4, 2019

Thinking about an App/Project logo

design

Status: Open.

#67 In diproche/webinterface;

· RonjaKaehne opened on Jul 2, 2019

Thinking about a input helper

Status: Open.

#59 In diproche/webinterface;

· RonjaKaehne opened on Jun 27, 2019

Fetching the position of diproche errors

Status: Open.

#58 In diproche/webinterface;

· TimothyGillespie opened on Jun 27, 2019

·  

July Milestone

Create a mockup of the website

design

Status: Open.

#55 In diproche/webinterface;

· Korosensei42 opened on Jun 27, 2019

·  

July Milestone