From 9ca37346a3a66023433b1e8291e65b56c8fd65b5 Mon Sep 17 00:00:00 2001 From: David Carlisle Date: Wed, 31 Jul 2024 16:22:45 +0100 Subject: [PATCH] full table 2 --- tagging-status/full.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tagging-status/full.md b/tagging-status/full.md index 008e7439..b84a80dd 100644 --- a/tagging-status/full.md +++ b/tagging-status/full.md @@ -48,7 +48,7 @@ The values in the *Status* column have the following meaning: -{%- for p in packages -%} +{%- for p in t-s -%} {{p.type}} {{p.status}} -{% if p.included-in contains "tlc3" %}yes{% endif %} +{% if p.included-in contains "tlc3" %}TLC3{% endif %} {%- if p.included-in contains "arxiv10" %}10{% endif -%} {%- if p.included-in contains "arxiv5" %} 5{% endif -%} -{%- if p.included-in contains "arxiv1" %}1{% endif -%} +{%- if p.included-in contains "arxiv1" %} 1{% endif -%} {%- if p.included-in contains "arxiv01" %}0.1{% endif -%} {{p.priority}}