From 67d8278483b7e02d12a261cbab74b2da7e163fb4 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 31 Mar 2026 19:15:13 +0000
Subject: [PATCH 1/3] Initial plan


From 41fb6b46707e0e457a3e45b40929c584b30190a6 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 31 Mar 2026 19:35:25 +0000
Subject: [PATCH 2/3] Update ivoatex submodule to HEAD and add .gitignore

Agent-Logs-Url: https://github.com/pahjbo/SIA/sessions/3f6a0cc8-6cd5-4277-a4d3-b83b110f253a

Co-authored-by: pahjbo <273267+pahjbo@users.noreply.github.com>
---
 .gitignore | 18 ++++++++++++++++++
 ivoatex    |  2 +-
 2 files changed, 19 insertions(+), 1 deletion(-)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..0a5de72
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,18 @@
+*.blg
+*.toc
+*.out
+*.pdf
+*.aux
+*.bbl
+ivoatexmeta.tex
+*.log
+*.html
+*.zip
+*.fdb_latexmk
+*.fls
+gitmeta.tex
+*.swp
+role_diagram.svg
+
+# OS-specific
+.DS_Store
diff --git a/ivoatex b/ivoatex
index 5f09429..c5c7e22 160000
--- a/ivoatex
+++ b/ivoatex
@@ -1 +1 @@
-Subproject commit 5f09429af9e9f56aa2c66aeb17121fb6837e7498
+Subproject commit c5c7e224a01eb3c5586563529317148c919dafb3

From 6f1d3b8a3199282e5a05e3d89d447a3852b863d1 Mon Sep 17 00:00:00 2001
From: Paul Harrison <paul.harrison@manchester.ac.uk>
Date: Mon, 27 Apr 2026 20:52:34 +0100
Subject: [PATCH 3/3] remove conflicting ucd declaration

---
 SIA.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/SIA.tex b/SIA.tex
index cce0585..6995740 100644
--- a/SIA.tex
+++ b/SIA.tex
@@ -2,7 +2,7 @@
 \input tthdefs
 
 \newcommand{\xtype}[1]{\texttt{#1}}
-\newcommand{\ucd}[1]{\texttt{#1}}
+\providecommand{\ucd}[1]{\texttt{#1}}
 
 \usepackage{listings}
 \lstloadlanguages{XML,sh}