The Stacks project

Spell check: words starting with h, i, j, k, l, m, H, I, J, K, L, and M

LaTeX: \Spec

	Introduced the macro

	\def\Spec{\mathop{\rm Spec}}

	and changed all the occurences of \text{Spec} into \Spec.

Started tags infrastructure

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

List of changes:
	Improved exposition colimits modules in algebra.tex
	Fixed typo on categories.tex
	Proof basic lemma cohomology P^n_R, R Noetherian
	Characterize affines by vanishing cohomology
	Cohmology commutes with directed colimits sometimes
	Typos constructions.tex
	Clarify quasi-affine section
	Ideals directed limit finite type ideals
	Characterize affines in properties.tex
	Closed points exist in quasi-compact spaces

	modified:   algebra.tex
	modified:   categories.tex
	modified:   coherent.tex
	modified:   cohomology.tex
	modified:   constructions.tex
	modified:   limits.tex
	modified:   modules.tex
	modified:   properties.tex
	modified:   topology.tex

Moved section on monomorphisms into schemes.tex
This allows us to use it to prove immersions are separated
Finished small lemma characterizing quasi-affine schemes

	modified:   morphisms.tex
	modified:   properties.tex
	modified:   schemes.tex

Starting to work on properties of schemes

	modified:   algebra.tex
	modified:   fpqc-descent.tex
	modified:   groupoids.tex
	modified:   properties.tex
	modified:   scripts/make_index.py