  Deformation theory is treated for locally notherian formal schemes (non
necessarily smooth). The cotangent complex is defined in the derived category
through the homology localization functor. The basic properties and results of
a deformation theory are proved. And the complex is described for regular
closed immersions and complete intersection morphisms of formal schemes.
