The Stacks project

Clean up section about Noetherian local rings

Depth of the zero module is - infinity

Discussed here http://math.columbia.edu/~dejong/wordpress/?p=3372

Formally define ideal of definition in local ring

Started tags infrastructure

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

More neurotic changes

More neurotic changes

	modified:   algebra.tex
	modified:   constructions.tex
	modified:   exercises.tex
	modified:   properties.tex
	modified:   scripts/functions.py
	modified:   scripts/parse.py

More neurotic cleaning up

	modified:   algebra.tex
	modified:   algebraic.tex
	modified:   categories.tex
	modified:   coding.tex
	modified:   cohomology.tex
	modified:   constructions.tex
	modified:   conventions.tex
	modified:   etale.tex
	modified:   flat.tex
	modified:   fpqc-descent.tex
	modified:   homology.tex
	modified:   hypercovering.tex
	modified:   injectives.tex
	modified:   introduction.tex
	modified:   modules.tex
	modified:   morphisms.tex
	modified:   properties.tex
	modified:   schemes.tex
	new file:   scripts/parse.py
	modified:   sets.tex
	modified:   sheaves.tex
	modified:   simplicial.tex
	modified:   sites.tex
	modified:   spaces.tex
	modified:   stacks-groupoids.tex
	modified:   stacks.tex
	modified:   topology.tex

	modified:   algebra.tex

	modified:   algebra.tex