Skip to content

URI Parameters

Jump to bottom
Michael Kohlhase edited this page Sep 27, 2017 · 7 revisions

TGView can be given various URL parameters:

  • type: the graph type. This is used to determine the respective Graph Source There are currently the following types:
    • archivegraph: A classical theory graph for a math archive.
  • graphdata: the graph data, i.e. the respective theory graph to be focused on.
Clone this wiki locally