The Stacks project

Better handling invertible modules

Of course an invertible module should be defined as a module such that
tensoring with it is a self-equivalence on the category of modules. This
doesn't change a thing beyong the definition, because we usually are
working on locally ringed spaces or topoi where an invertible module is
the same thing as a locally free module of rank 1.

Started tags infrastructure

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

Towards a cohomological property of ample invertible sheaves
	Improved notation in definition directed diagrams
	Lemmas on comparing sheaves which agree on princpal opens
	Started proving powers sections kill cohomology classes
	Set of isomorphism classes of finite type modules
	Inclusion principal open is affine morphism
	Quasi-coherent modules are directed colimits of sheaves of
		finite presentation

	modified:   categories.tex
	modified:   coherent.tex
	modified:   modules.tex
	modified:   morphisms.tex
	modified:   properties.tex

Added stuff on Proj of a graded ring

	modified:   algebra.tex
	modified:   constructions.tex
	modified:   modules.tex
	modified:   properties.tex
	modified:   schemes.tex