We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
Glossary Graph Viewer :
deal with transitivity etc:
clustered/collapsed views for large graphs:
Save/Load layouted graph (backend):
Graph type information in JSON
Max' Computations (Argumentation chain) need to be callable from frontend (get data from backend or compute client side)
Mathhub links need to be updated
The text was updated successfully, but these errors were encountered:
Also: additional node information (e.g definition etc) need to be included in the JSON file (or somewhere else)
Sorry, something went wrong.
No branches or pull requests
Glossary Graph Viewer :
Glossary Graph Viewer TGView#24
deal with transitivity etc:
deal with transitivity TGView#23
clustered/collapsed views for large graphs:
clustered/collapsed views for large graphs TGView#15
Similar issue: granularity view in UI. TGView#21
Save/Load layouted graph (backend):
Save/Load layouted graph (backend) TGView#40
--> If this is implemented, we can also implement export SVG instead of PNG TGView#30 in backend
Graph type information in JSON
make the right-click graph selection interface on the left pane modal TGView#29
Max' Computations (Argumentation chain) need to be callable from frontend (get data from backend or compute client side)
Mathhub links need to be updated
The text was updated successfully, but these errors were encountered: