UniFormal / TGView3D

A 3D Theory Graph Viewer for MMT.
GNU General Public License v3.0
6 stars 4 forks source link

Advanced interaction #17

Open richardmarcus opened 5 years ago

richardmarcus commented 5 years ago

Need to include more interactions: e.g:

richardmarcus commented 5 years ago

show path from root to node -> better: show all paths from and to certain node -> this works

richardmarcus commented 5 years ago

Argument graph interaction: a)

b)