Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-29 20:55:15 -0700 (Mon, 29 May 2000)
Revision: 2994
Log message:

      I wrote several sections of MetaPRL Developer Guide.
      
      Please take a look at it at
      http://ensemble01.cs.cornell.edu:12000/cvsweb/~checkout~/meta-prl/doc/htmlman/default.html
      

Changes  Path
+10 -4 metaprl/README
+17 -1 metaprl/doc/Makefile
Added metaprl/doc/htmlman/developer-guide/debugging.html
Properties metaprl/doc/htmlman/developer-guide/debugging.html
Added metaprl/doc/htmlman/developer-guide/default.html
Properties metaprl/doc/htmlman/developer-guide/default.html
Added metaprl/doc/htmlman/developer-guide/indentation_and_spacing.html
Properties metaprl/doc/htmlman/developer-guide/indentation_and_spacing.html
Added metaprl/doc/htmlman/developer-guide/mp-developer-guide.html
Properties metaprl/doc/htmlman/developer-guide/mp-developer-guide.html
Added metaprl/doc/htmlman/developer-guide/mp-index.html
Properties metaprl/doc/htmlman/developer-guide/mp-index.html
Added metaprl/doc/htmlman/developer-guide/profiling.html
Properties metaprl/doc/htmlman/developer-guide/profiling.html
Added metaprl/doc/htmlman/developer-guide/refiner_verb_and_simp.html
Properties metaprl/doc/htmlman/developer-guide/refiner_verb_and_simp.html
Added metaprl/doc/htmlman/developer-guide/term_ds_free_vars.html
Properties metaprl/doc/htmlman/developer-guide/term_ds_free_vars.html
Added metaprl/doc/htmlman/developer-guide/term_ds_safety.html
Properties metaprl/doc/htmlman/developer-guide/term_ds_safety.html
Added metaprl/doc/htmlman/developer-guide/term_ds_types.html
Properties metaprl/doc/htmlman/developer-guide/term_ds_types.html
Added metaprl/doc/htmlman/developer-guide/term_modules.html
Properties metaprl/doc/htmlman/developer-guide/term_modules.html
+1 -0 metaprl/doc/htmlman/framework/mp-index.html
+2 -2 metaprl/doc/htmlman/mp-index.html
+1 -0 metaprl/doc/htmlman/mp-install.html
+2 -0 metaprl/doc/htmlman/mp.html
+1 -0 metaprl/doc/htmlman/system/mp-index.html
+2 -0 metaprl/doc/htmlman/tutorial/mp-index.html
+1 -0 metaprl/doc/htmlman/user-guide/mp-index.html
Deleted metaprl/doc/indentation_and_spacing.txt
Deleted metaprl/doc/profiling.txt
Deleted metaprl/doc/refiner_verb_and_simp.txt
Deleted metaprl/doc/term_ds_free_vars.txt
Deleted metaprl/doc/term_ds_safety.txt
Deleted metaprl/doc/term_ds_types.html
Deleted metaprl/doc/term_modules.txt
+7 -2 metaprl/mk/make_config.sh
+1 -1 metaprl/mk/preface
+6 -0 metaprl/mllib/mp_debug.mli