The Stacks project

Make reference more precise

Thanks to Johan and Brian
https://stacks.math.columbia.edu/tag/01XF#comment-2724

Add a reference

Thanks to Ariyan Javanpeykar
https://stacks.math.columbia.edu/tag/01XG#comment-2701

Fix typo in coherent.tex

Thanks to Paul Lessard
http://stacks.math.columbia.edu/tag/01XF#comment-1332

Slogan by Jakob and Johan

This slogan should be "Serre's criterion for affineness"
so that google can find it for people who are looking for it.

Fix typos

Thanks to correction_bot
Online comments 931 -- 936

Spell check: words starting with b, c, B, or C

Making sure we have a proof environment for every statement

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

Changes:
	Lemma in algebra.tex on annihilating modules by powers ideals
	Started devissage of coherent sheaves in coherent.tex
	Section on sections of quasi-coherent sheaves in properties.tex
	Typo in modules.tex

	modified:   algebra.tex
	modified:   coherent.tex
	modified:   modules.tex
	modified:   properties.tex

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