# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1708610797 0
# Node ID a2707a5652d935bd1dbfc3620633cee9f77e78d2
# Parent  ac5461882f3e49f4d004bc7f05cdecc1775e342f
test

diff -r ac5461882f3e -r a2707a5652d9 README
--- a/README	Thu Feb 22 13:38:10 2024 +0000
+++ b/README	Thu Feb 22 14:06:37 2024 +0000
@@ -1,3 +1,7 @@
+=========================================================
+MOST OF THE MATERIAL IS NOW IN THE AFP
+
+
 Formalisation of Turing Machines and Computability Theory
 =========================================================