The Stacks project

Stuff about boundedness of Rf_!

Move along, nothing to see here...

Spectral sequence for local cohomology

Use new terminology and fix indices

Try to be more consistent with convergence and all. It turns out to be
basically impossible, because already the statements are not precise
enough. The trouble is that one needs to always assume the spectral
sequence comes from a filtered complex (somewhere somehow) and then one
is using the definition as now given in homology.tex

Thanks to Dingxin Zhang for pointing out wrong signs in shifts
http://stacks.math.columbia.edu/tag/015X#comment-1479

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.)

Fix references and labels

	Necessary because of addition of new chapter in previous commit.

Added new chapter to the project

	Chapter on derived categories to be improved this semester.

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