From c1a5a3de06e21f616d1e5a5d99579d9437f2b12c Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Fri, 20 Sep 2019 10:11:55 +0200
Subject: New documentation

---
 docs/README | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 docs/README

(limited to 'docs/README')

diff --git a/docs/README b/docs/README
deleted file mode 100644
index 0cfde24..0000000
--- a/docs/README
+++ /dev/null
@@ -1,7 +0,0 @@
-Here we collect some incomplete and work-in-progress documentation.
-
-In compute_degrees we prove that our way to compute the degrees gives the
-correct result.
-
-In af_code we break down the code for the "adelic failure" part of the script
-and we check that it computes the degrees as described in compute_degrees.
-- 
cgit v1.3