The Stacks project

Largish set of changes: "proper over"

This is just a neurotic set of changes, making sure it makes sense to
say that a closed subset of X is proper over the base S in case X --> S
is a morphism which is locally of finite type...

Use this in the chapter on derived categories of schemes

Next up: Make similar changes for the case of algebraic spaces...

ll check: words starting with u, v, w, x, y, z, U, V, W, X, Y, or Z

Started editing intersections.tex

	modified:   intersections.tex
	modified:   morphisms.tex

Cohomolgoy and base change improved
Changed corresponding tags in tags/tags
Added more variants of etale localizing quasi-finite maps
Started section on structure of quasi-finite maps
Improved section on proper morphisms
Improved section on integra; and finite morphisms
Characterizing integral morphisms as universally closed and affine
Comment added to section on proper maps in topology

	modified:   coherent.tex
	modified:   more-morphisms.tex
	modified:   morphisms.tex
	modified:   schemes.tex
	modified:   tags/tags
	modified:   topology.tex

Started tags infrastructure

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

Added Segre embedding

	modified:   constructions.tex
	modified:   limits.tex
	modified:   morphisms.tex

First version of Chow's lemma plus some remarks on scheme theoretic
image and scheme theoretic closure

	modified:   algebra.tex
	modified:   limits.tex
	modified:   morphisms.tex
	modified:   properties.tex
	modified:   topology.tex