The Stacks project

Stack of higher direct images in etale-cohomology

For a bounded below complex

Coh descent along finite surjective morphisms

LaTeX: \etale

Introduced the macro

\def\etale{{\acute{e}tale}}

and replaced all occurences of \acute{e}tale by \etale

Change of partial universe

There does not seem to be a succint way of saying this.

Making sure we have a proof environment for every statement

Whitespace changes

Neurotic changes

	Fix (almost all) complaints of parse.py

Begin translating etale to \'etale or \acute{e}tale (in Math mode).

Etale Cohomology: \'etale ---> etale

	Sorry to all french people!

Etale Cohomology: Introducing tau-sites

	There seems to be no way around actually introducing the
	tau-sites in the chapter on etale cohomology. As a result we
	noticed something missing in the chapter on topologies, namely
	the statement that the topologies on the big (absolute)
	tau-sites are induced from the corresponding toplogies on the
	category of all schemes. We added this also.

Tags: Added new tags

	Mainly new tags for lemmas/propositions/theorems in the chapter
	on etale cohomology.

Etale Cohomology: White space changes only

Etale COhomology: More edits

	Coding style...

Etale COhomology: More edits

	Coding style...

Etale Cohomology: Lots of edits

	One of the problems is that the coding style is completely
	different and nonuniform. Another is that there is a lot of
	material for which it will not be possible to find proofs
	internally in the stacks project for a long time. Perhaps we
	need to introduce a way of indicating this in the document.

	A better solution is perhaps to add only those parts to the
	actual stacks book published on the web which mesh well with
	the stacks project.

CONTRIBUTORS: Added Min Lee

	See previous commit