The Stacks project

Try to use L/K notation for field extensions

We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.

LaTeX: \Spec

	Introduced the macro

	\def\Spec{\mathop{\rm Spec}}

	and changed all the occurences of \text{Spec} into \Spec.

Fix isolated point stuff

	It turns out that I was thinking about isolated points in the
	wrong way. Apparantly an isolated point is just what I would
	have called an open point and what I thought was an isolated
	point is a closed isolated point.

	Also added: A lemma stating that a morphism is locally
	quasi-finite if and only if it is locally of finite type with
	discrete fibres.

Started tags infrastructure

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

First pass over the section on quasi-finite morphisms
Still to do
	quasi-finite separated morphisms are quasi-affine
	formulate versions of Zariski's Main Theorem

	modified:   algebra.tex
	modified:   morphisms.tex

Added a fun section on points of finite type

	modified:   algebra.tex
	modified:   morphisms.tex
	modified:   properties.tex

Small changes, not done

	modified:   algebra.tex
	modified:   morphisms.tex
	modified:   spaces.tex