The Stacks project

n -> p

Thanks to Jakob Werner
https://stacks.math.columbia.edu/tag/01ER#comment-7790

LaTeX

Added a new macro

\def\Im{\text{Im}}

and replaced all occurrences of \text{Im} by \Im

LaTeX

Introduced a macro

\def\Ker{\text{Ker}}

and replace all occurrences of \text{Ker} with \Ker

Latex: get rid of some overfull boxes

	modified:   algebraic.tex
	modified:   chow.tex
	modified:   coherent.tex
	modified:   cohomology.tex
	modified:   constructions.tex
	modified:   descent.tex
	modified:   desirables.tex
	modified:   divisors.tex
	modified:   etale.tex
	modified:   examples-stacks.tex
	modified:   examples.tex
	modified:   exercises.tex
	modified:   fdl.tex
	modified:   homology.tex
	modified:   hypercovering.tex
	modified:   modules.tex
	modified:   morphisms.tex
	modified:   properties.tex
	modified:   schemes.tex
	modified:   simplicial.tex
	modified:   sites.tex
	modified:   spaces.tex
	modified:   topologies.tex
	modified:   varieties.tex

Started tags infrastructure

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

Introduced projection formula in cohomology and finished the first
complete version of cohomology of projective space and projective
bundles

	modified:   coherent.tex
	modified:   cohomology.tex

Small stuff about cohomology

	modified:   cohomology.tex
	modified:   homology.tex