You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
once #237 is fixed, and we have the single-URL call for graphs. We can add a link (a small graph icon) in the footer or header or so that links to the graph. Given UniFormal/TGView#25 we can even highlight the current position (which we know from the theory name).
The text was updated successfully, but these errors were encountered:
once #237 is fixed, and we have the single-URL call for graphs. We can add a link (a small graph icon) in the footer or header or so that links to the graph. Given
UniFormal/TGView#25 we can even highlight the current position (which we know from the theory name).
The text was updated successfully, but these errors were encountered: