First pass: rig etale and principal ideal case
Algebras topologically of finite type

There does not seem to be a good terminology for these ring maps.
Approximation of rig etale algebras
Get ring maps from map on completions

Standard application of popescu's theorem
Different characterizations of rig etale maps
Fully faithfulness of completion on rig etale
Discussion of formal schemes as in EGA

Just the definitions

Also: sheafification of presheaves of topological spaces
There is a reference for this, namely the paper by Gray we added
Adjoint functor theorem
Use more general argument in dpa.tex
Fix up a bit in resolve.tex
Functor of points of a formal scheme

Also: small remark about McQuillan's variant
Small lemma in bootstrap.tex
Formal schemes are fppf sheaves
Try a notion of formal algebraic space

Here is one possible definition of a formal algebraic space which seems
to incorporate many of the different notions that exist in the
literature such as Beilinson-Drinfeld, McQuillan, and Yasuda
Set theoretic issues for formal algebraic spaces

You can say more, but this is more than enough for now.
Types of affine formal algebraic spaces
Start writing about diagonal formal algebraic spaces

A bit boring...
Finish the proof
Added new chapter entitled "Formal Algebraic Spaces"
Fix references