The Stacks project

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.

Tags: Added new tags

Impurities...

	A bunch of lemmas on impurities. Enough to show that pureness is
	preserved under base change if we start with a noetherian base
	scheme. To be continued.

Fix an example

	Actually the example was correct but the thing it was a counter
	example against was formulated incorrectly. Now we added it as
	an actual lemma in more-morphisms.tex