From 8ea546b65ae7759a3165bf5fa0a00b4a98a8592f Mon Sep 17 00:00:00 2001 From: Francisco Coelho Date: Wed, 24 Apr 2024 09:53:03 +0100 Subject: [PATCH] edited kr24 --- biblio/1992%20-%20Annotated%20Logic%20Programs%20-%20kife_240419_110654.pdf | Bin 6348448 -> 0 bytes biblio/1992%20-%20Annotated%20Logic%20Programs%_240423_114127.pdf | Bin 0 -> 11347837 bytes biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_170324.pdf | Bin 10221262 -> 0 bytes biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240422_115735.sdocx | Bin 0 -> 10231390 bytes biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240423_114127.pdf | Bin 0 -> 11347837 bytes text/kr24 | 2 +- zugzwang.code-workspace | 2 ++ 7 files changed, 3 insertions(+), 1 deletion(-) delete mode 100644 biblio/1992%20-%20Annotated%20Logic%20Programs%20-%20kife_240419_110654.pdf create mode 100644 biblio/1992%20-%20Annotated%20Logic%20Programs%_240423_114127.pdf delete mode 100644 biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_170324.pdf create mode 100644 biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240422_115735.sdocx create mode 100644 biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240423_114127.pdf diff --git a/biblio/1992%20-%20Annotated%20Logic%20Programs%20-%20kife_240419_110654.pdf b/biblio/1992%20-%20Annotated%20Logic%20Programs%20-%20kife_240419_110654.pdf deleted file mode 100644 index 7b83447..0000000 Binary files a/biblio/1992%20-%20Annotated%20Logic%20Programs%20-%20kife_240419_110654.pdf and /dev/null differ diff --git a/biblio/1992%20-%20Annotated%20Logic%20Programs%_240423_114127.pdf b/biblio/1992%20-%20Annotated%20Logic%20Programs%_240423_114127.pdf new file mode 100644 index 0000000..253e09a Binary files /dev/null and b/biblio/1992%20-%20Annotated%20Logic%20Programs%_240423_114127.pdf differ diff --git a/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_170324.pdf b/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_170324.pdf deleted file mode 100644 index 002cd18..0000000 Binary files a/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_170324.pdf and /dev/null differ diff --git a/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240422_115735.sdocx b/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240422_115735.sdocx new file mode 100644 index 0000000..4e6b93e Binary files /dev/null and b/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240422_115735.sdocx differ diff --git a/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240423_114127.pdf b/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240423_114127.pdf new file mode 100644 index 0000000..253e09a Binary files /dev/null and b/biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240423_114127.pdf differ diff --git a/text/kr24 b/text/kr24 index 4f61af3..0c2dace 160000 --- a/text/kr24 +++ b/text/kr24 @@ -1 +1 @@ -Subproject commit 4f61af3a4063b5e0b090fad4092c4783b567e796 +Subproject commit 0c2dace5954ad711e4d510de937adde92757b977 diff --git a/zugzwang.code-workspace b/zugzwang.code-workspace index 2ce84c0..09cfcde 100644 --- a/zugzwang.code-workspace +++ b/zugzwang.code-workspace @@ -15,6 +15,8 @@ "biblatex", "cplint", "CREDAL", + "functors", + "Herbrand", "Hirings", "interpretability", "println", -- libgit2 0.21.2