{% extends "layout.html" %} {% block title %}History for tag {{ tag.tag }}{% endblock %} {% block head %} {% endblock %} {% block breadcrumb %} {{ macros.breadcrumb(breadcrumb) }} {% endblock %} {% block hamburger %} {{ macros.tagHamburger(tag, neighbours, "/history", dependencies) }} {% endblock %} {% block body %}
type | time | link | |
---|---|---|---|
{% if change.action == "creation" %} {% set infix = "blob" %} {% set suffix = "#L" ~ change.begin ~ "-L" ~ change.end %} created statement with label {{ change.label }} in {{ change.filename }}.tex {% elif change.action == "tag" %} {% set infix = "commit" %} assigned tag {{ change.tag.tag }} {% elif change.action == "statement" %} {% set infix = "commit" %} {% set suffix = "#diff-" ~ md5(change.filename ~ ".tex") ~ "R" ~ change.begin %} changed the statement {% elif change.action == "proof" %} {% set infix = "commit" %} {% set suffix = "#diff-" ~ md5(change.filename ~ ".tex") ~ "R" ~ change.begin %} changed the proof {% elif change.action == "statement and proof" %} {% set infix = "commit" %} {% set suffix = "#diff-" ~ md5(change.filename ~ ".tex") ~ "R" ~ change.begin %} changed the statement and the proof {% elif change.action == "move file" %} {% set infix = "blob" %} moved the statement to file {{ change.filename }}.tex {% elif change.action == "label" %} {% set infix = "commit" %} {% set suffix = "#diff-" ~ md5(change.filename ~ ".tex") ~ "R" ~ change.begin %} changed the label to {{ change.label }} {% else %} if you see this, something went wrong {% endif %} | {{ change.commit.time }} | {% if change.action == "tag" %}{{ change.commit.hash[0:7] }} {% else %} | {{ change.commit.hash[0:7] }} | {% endif %}