From b0ab027d82868fdca07d79d50a507ba032ec1930 Mon Sep 17 00:00:00 2001
From: Aise Johan de Jong <aise.johan.de.jong@gmail.com>
Date: Thu, 19 Sep 2019 13:11:31 -0400
Subject: [PATCH] Remove obsolete sections listing topics

---
 cohomology.tex       | 14 --------------
 obsolete.tex         | 12 ++++++++++++
 sites-cohomology.tex | 23 -----------------------
 tags/tags            |  4 ++--
 4 files changed, 14 insertions(+), 39 deletions(-)

diff --git a/cohomology.tex b/cohomology.tex
index f92808315..c0668d840 100644
--- a/cohomology.tex
+++ b/cohomology.tex
@@ -26,20 +26,6 @@ \section{Introduction}
 Basic references are \cite{Godement} and \cite{Iversen}.
 
 
-\section{Topics}
-\label{section-topics}
-
-\noindent
-Here are some topics that should be discussed in this chapter,
-and have not yet been written.
-\begin{enumerate}
-\item Ext-groups.
-\item Ext sheaves.
-\item Tor functors.
-\item Derived pullback for morphisms between ringed spaces.
-\item Cup-product.
-\item Etc, etc, etc.
-\end{enumerate}
 
 
 
diff --git a/obsolete.tex b/obsolete.tex
index a0ec2de73..1a1152f35 100644
--- a/obsolete.tex
+++ b/obsolete.tex
@@ -942,6 +942,18 @@ \section{Cohomology}
 We omit the details.
 \end{proof}
 
+\begin{remark}
+\label{remark-cohomology-topics}
+This tag used to refer to a section of the chapter on cohomology
+listing topics to be treated.
+\end{remark}
+
+\begin{remark}
+\label{remark-sites-cohomology-topics}
+This tag used to refer to a section of the chapter on cohomology
+listing topics to be treated.
+\end{remark}
+
 \begin{remark}
 \label{remark-V-implies-C}
 This tag used to refer to the special case of
diff --git a/sites-cohomology.tex b/sites-cohomology.tex
index 4231eb4b2..ed37ab68b 100644
--- a/sites-cohomology.tex
+++ b/sites-cohomology.tex
@@ -25,29 +25,6 @@ \section{Introduction}
 case in the case.
 Basic references are \cite{SGA4}, \cite{Godement} and \cite{Iversen}.
 
-\section{Topics}
-\label{section-topics}
-
-\noindent
-Here are some topics that should be discussed in this chapter,
-and have not yet been written.
-\begin{enumerate}
-\item Cohomology of a sheaf of modules on a site is the same
-as the cohomology of the underlying abelian sheaf.
-\item Hypercohomology on a site.
-\item Ext-groups.
-\item Ext sheaves.
-\item Tor functors.
-\item Higher direct images for a morphism of sites.
-\item Derived pullback for morphisms between ringed sites.
-\item Cup-product.
-\item Group cohomology.
-\item Comparison of group cohomology and cohomology on $\mathcal{T}_G$.
-\item {\v C}ech cohomology on sites.
-\item {\v C}ech to cohomology spectral sequence on sites.
-\item Leray Spectral sequence for a morphism between ringed sites.
-\item Etc, etc, etc.
-\end{enumerate}
 
 
 
diff --git a/tags/tags b/tags/tags
index 0077773f0..6e981b796 100644
--- a/tags/tags
+++ b/tags/tags
@@ -1811,7 +1811,7 @@
 01DV,injectives-proposition-presheaves-modules
 01DW,cohomology-section-phantom
 01DX,cohomology-section-introduction
-01DY,cohomology-section-topics
+01DY,obsolete-remark-cohomology-topics
 01DZ,cohomology-section-cohomology-sheaves
 01E0,cohomology-section-locality
 01E1,cohomology-lemma-cohomology-of-open
@@ -1877,7 +1877,7 @@
 01FP,cohomology-section-cech-cohomology-of-complexes
 01FQ,sites-cohomology-section-phantom
 01FR,sites-cohomology-section-introduction
-01FS,sites-cohomology-section-topics
+01FS,obsolete-remark-sites-cohomology-topics
 01FT,sites-cohomology-section-cohomology-sheaves
 01FU,sites-cohomology-section-locality
 01FV,sites-cohomology-equation-restriction-mapping