The Stacks project

Slogans by Johan Commelin

Cosmetic change

	Given a named theorem, such as Chevalley's theorem, we now code
	this as

	\begin{theorem}[Chevalley's theorem]
	\label{theorem-chevalley}

	and not as

	\begin{theorem}
	\label{theorem-chevalley}
	(Chevalley's Theorem.)

Whitespace changes

LaTeX: \Ob

	Introduced a macro

	\def\Ob{\mathop{\rm Ob}\nolimits}

	and replaced any occurence of \text{Ob}( with \Ob(. There are
	still some occurences of \text{Ob} but these are sets, not the
	operator that takes the set of objects of a category.

LaTeX: \Mor

	Introduced a macro

	\def\Mor{\mathop{\rm Mor}\nolimits}

	and replaced all the occurences of \text{Mor} with \Mor.

Etale Cohomology: Remove the fpqc site

	Explanation can be found in the text,

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: Added it to the project and more edits

	A solution to the problem mentioned in the previous commit may
	be to add parts of the Chapter as Appendices maybe in a smaller
	font. Still not sure.

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.

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