Show trivial evar substitutions
Hide proof terms in outcomes
Show edge labels
Order outgoing edges
Concentrate edges
Show non-anonymized tactics
Ignore edges
{% for (value, name) in edge_labels %}
{{ name }}
{% endfor %}
Unshare nodes
Select All
{% for (value, name) in node_labels %}
{{ name }}
{% endfor %}
Definition expansion depth
Maximum number of nodes
Restore Defaults
Shift+Scroll to zoom
Shift+Click a node to highlight connections
Settings
{% for (name, url) in location %}
{% if loop.index0 == active_location %}
{{ name }}
{% else %}
{{ name }}
{% endif %} {% endfor %}
Download
{% if text %}
{% for info in text %}
{{ info }}
{% endfor %}
{% for info in text %}
{{ info }}
{% endfor %}
{% endif %}
Rendering
{% for id, text in popups %}
{{ text|safe }}
{% endfor %}