ProofEditor Won't Show Issues If Not Served

diproche / webinterface

1 stars 0 forks source link

Open TimothyGillespie opened 5 years ago

TimothyGillespie commented 5 years ago

Similar to #108.

TimothyGillespie commented 5 years ago

Will be solved if swipl-wasm can be utilized since it can then just be served by a host.