Added new chapter entitled "Resolution of Surfaces"
A trace in characteristic p
Two new sections in resolve.tex

-- A section about properties of modifications
-- A section with counter examples to too optimistic guesses

Thanks to Angelo Vistoli for discussions
Change a lemma in algebra.tex
References concerning UFD or not 2-dimensional local rings
Locally Noetherian of dimension 0

is a disjoint union of spectra of Artinian local rings
More cases of dim = 0 implies scheme
Small changes in spaces-cohomology.tex
Producing functions in codimension 1

To be used for getting algebraic spaces to be schemes in codimension 1.
Thanks to Raju Krishnamoorthy for a discussion.
Small lemma in varieties.tex
Finitenes of nr qf points in fibre ft morphism
Sanity check for topological space of subspace
Bit more about qf morphisms of spaces

There is a lot more to be done in the section on quasi-finite morphisms
of algebraic spaces...
Silly discussion of growth of fibres

This is very trivial. On the other hand, the behaviour of these fibres
is very different for non-quasi-separated algebraic spaces, hence it
seems worthwhile to point out some cases where the behaviour is as
expected.
Add missing hypothesis

Lemma Tag 082H was missing a hypothesis
ZMT for representable morphisms of algebraic spaces
Move two lemmas earlier

This we can now do as we have a version of ZMT available.
Terminology "quasi-isomorphic"

The phrase "K and L are quasi-isomorphic" is supposed to mean that K and L
are isomorphic as objects in D(R). But since we never formally defined
"quasi-isomorphic" there was no way for readers to know that.

The solution is either to stop using the phrase "quasi-isomorphic"
(but it gets used 92 times), or to make a formal definition. For the
moment I have just added a line to the chapter on Derived Categories
saying what the terminology means, but I have stopped short of actually
putting it in a definition, because now I am no longer so sure that it
is standard terminology... Please weigh in on this issue if you have
an opinion.

Thanks to Jyoti Prakash Saha
http://stacks.math.columbia.edu/tag/0657#comment-603
http://stacks.math.columbia.edu/tag/0657#comment-605
Finite groupoids

We are going to write a tiny bit more about finite groupoids in order to
prove a result on the existence of invariant affine opens. This is the
first commit.
Surjective closed map is submersive