Get rid of \begin{align}

Any equation which is numbered should have a label and this should only
happen for equation environments
A finite Jacobson space is discrete

Thanks to Keenan Kidwell
http://stacks.math.columbia.edu/tag/04B1#comment-773
http://stacks.math.columbia.edu/tag/038G#comment-775
http://stacks.math.columbia.edu/tag/038I#comment-776
http://stacks.math.columbia.edu/tag/053M#comment-777
http://stacks.math.columbia.edu/tag/07JU#comment-778
Add missing results to chapter Descent on Spaces

Thanks to Kestutis Cesnavicius
http://stacks.math.columbia.edu/tag/05B5#comment-774
Typos pointed out by Anfang Zhou

http://stacks.math.columbia.edu/tag/05NE#comment-779
http://stacks.math.columbia.edu/tag/05NH#comment-780
http://stacks.math.columbia.edu/tag/00HL#comment-782
http://stacks.math.columbia.edu/tag/01ED#comment-783
http://stacks.math.columbia.edu/tag/01UP#comment-789
Typo in sites-cohomology.tex

Thanks to Matthieu Romagny
http://stacks.math.columbia.edu/tag/0A0A#comment-781
Change wording in lemma in more-morphisms.tex

Thanks to Kestutis Cesnavicius
Add a lemma suggested by Matthew Emerton

See http://stacks.math.columbia.edu/tag/04YY#comment-785
Fix omission inequality pointed out by Wei Xu

See http://stacks.math.columbia.edu/tag/00IG#comment-786
Add induction argument

Thanks to Keenan Kidwell
http://stacks.math.columbia.edu/tag/07DV#comment-787
Typo in stacks-morphisms.tex

Thanks to Matthew Emerton
http://stacks.math.columbia.edu/tag/06UF#comment-788
Tags: Added new tags
Change documentation/support according to the wishes of the NSF
Forgot condition in Nagata's criterion + reference

Thanks to anonymous
http://stacks.math.columbia.edu/tag/0AFU#comment-808
Change statement lemma once more

Thanks to anonymous
http://stacks.math.columbia.edu/tag/0AFU#comment-813
Merge branch 'develop'

Merge in new material on formal algebraic spaces so we can get feedback
from the community.
Tags: Added new tags
Descent result for "of finite ideal type"

We are going to call this condition adic* because it is shorter than the
terminology "of finite ideal type" which is used in Fujiwara-Kato. The
descent result allows us to define the notion of a ``locally adic*''
formal algebraic space (we may change this later into just "adic*").
Try to clean up notation and terminology
A bit more reorganizationn
Fix a typo

Thanks to Matthew Emerton
http://stacks.math.columbia.edu/tag/04YU#comment-816