  We give a comprehensive survey of the theory of finite dimensional Lie
algebras over an algebraically closed field of characteristic p>0 and announce
that for p>3 the classification of finite dimensional simple Lie algebras is
complete. Any such Lie algebra is up to isomorphism either classical (i.e.
comes from characteristic 0) or a filtered Lie algebra of Cartan type or a
Melikian algebra of characteristic 5.
