The Stacks project

Corrected tiny typos.

Finished the proof of higher direct images coherent sheaves under
proper morphisms

	modified:   coherent.tex

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

Added an example of a ``weird'' projective bundle

	modified:   coherent.tex
	modified:   constructions.tex
	modified:   morphisms.tex

Put affine n-space in its own section and started proving the lemma on
cohomology of coherent sheaves on P^n_R

	modified:   coherent.tex
	modified:   constructions.tex

More about relatively (very) ample sheaves and quasi-projective
morphisms, and a formulation of cohomology of coherent sheaves on
projective space over a Noetherian ring

	modified:   coherent.tex
	modified:   limits.tex
	modified:   morphisms.tex
	modified:   properties.tex