The Stacks project

Fix wrong cohomology symbols

Thanks to Xiaolong Liu
https://stacks.math.columbia.edu/tag/0132#comment-7058

Associated total complex: unify notation

Convergence of spectral sequences

Try to be more precise. Basically following the conventions in Weibel's
book ``Introduction to Homological Algebra''.

Chech complexes of unbounded complexes

This is a bit lame... and proofs still need to be added or fleshed out.

Cosmetic change

	Given a named theorem, such as Chevalley's theorem, we now code
	this as

	\begin{theorem}[Chevalley's theorem]
	\label{theorem-chevalley}

	and not as

	\begin{theorem}
	\label{theorem-chevalley}
	(Chevalley's Theorem.)

Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags

Added the grothendieck spectral sequence (first version)

	modified:   homology.tex