Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-09-03 20:58:25 -0700 (Wed, 03 Sep 2003)
Revision: 4926
Log message:

      Adding the paper on FOrmal Design Environment
      Adding the papers page to the MetaPRL navigation.
      

Changes	Path
+1 -0	metaprl/doc/htmlman/developer-guide/mp-index.html
+1 -0	metaprl/doc/htmlman/framework/mp-index.html
+1 -0	metaprl/doc/htmlman/mp-index.html
Added	metaprl/doc/htmlman/papers/fde.html
Properties	metaprl/doc/htmlman/papers/fde.html
+6 -2	metaprl/doc/htmlman/papers/mp-papers.html
+1 -0	metaprl/doc/htmlman/system/mp-index.html
+1 -0	metaprl/doc/htmlman/tutorial/mp-index.html
+1 -0	metaprl/doc/htmlman/user-guide/mp-index.html