search

MathHubInfo / Frontend

A new MathHub Narration Frontend written in React.
GNU Affero General Public License v3.0
2 stars 0 forks source link

TGView still does not load MMT archives and graphs. #3

Closed kohlhase closed 6 years ago

kohlhase commented 6 years ago

Something must have gotten broken. @jazzpirate

tkw1536 commented 6 years ago

Please make an issue at https://github.com/UniFormal/tgview/issues.

kohlhase commented 6 years ago

Actually, I very much suspect that this is a MMT backend issue in MathHUb, since TGView did work before.

tkw1536 commented 6 years ago

It's definitely a backend issue, the extension appears to be loaded, but e.g. https://mmt.mathhub.info/:jgraph/json?key=thgraph&uri=ODK/ODK contains no content.

kohlhase commented 6 years ago

So maybe we reopen here or in the MMT repo?

tkw1536 commented 6 years ago

See https://github.com/UniFormal/MMT/issues/342