Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-10-25 19:44:44 -0700 (Mon, 25 Oct 1999)
Revision: 2825
Log message:

      - Added a Makefile target "check" that checks HTML syntax
      using weblint utility ( http://www.weblint.org/ )
      
      - Fixed most of the HTML problems reported by weblint utility
      This reduced the number of weblint warnings from over 8000 to 19
      (All 19 are
         unknown attribute "..." for element <FRAMESET>
      where ... is either FRAMEBORDER, BORDER or FRAMESPACING)
      
      - Added system.{ps,pdf} (MetaPRL System Description)
      to the list of generated documentation files
      
      - Some htmldoc-related fixes
      
      - Removed the references to "load" command since
      in the current version of MetaPRL "cd" command loads
      the module if necessary.
      
      - Removed some unused test files
      

Changes  Path
+1 -1 metaprl/Makefile
+33 -1 metaprl/doc/Makefile
+117 -112 metaprl/doc/htmlman/chars/table.html
+1 -1 metaprl/doc/htmlman/framework/mp-framework.html
+3 -3 metaprl/doc/htmlman/framework/mp-index.html
Added metaprl/doc/htmlman/goals.html
Properties metaprl/doc/htmlman/goals.html
+4 -4 metaprl/doc/htmlman/license.html
+2 -2 metaprl/doc/htmlman/mp-cvs-rw.html
+1 -1 metaprl/doc/htmlman/mp-frame.html
+3 -4 metaprl/doc/htmlman/mp-index.html
+1 -1 metaprl/doc/htmlman/mp-install.html
+1 -1 metaprl/doc/htmlman/mp-links.html
+1 -1 metaprl/doc/htmlman/mp-people.html
+4 -4 metaprl/doc/htmlman/mp.html
Deleted metaprl/doc/htmlman/system/mp-arch.html
+1 -1 metaprl/doc/htmlman/system/mp-auto-tactic.html
+1 -1 metaprl/doc/htmlman/system/mp-base-cache.html
+178 -178 metaprl/doc/htmlman/system/mp-base-syntax.html
+1 -1 metaprl/doc/htmlman/system/mp-base.html
+1 -1 metaprl/doc/htmlman/system/mp-chaining.html
+5 -5 metaprl/doc/htmlman/system/mp-conversionals.html
Deleted metaprl/doc/htmlman/system/mp-dist-tactic.html
+4 -4 metaprl/doc/htmlman/system/mp-editor-imp.html
+31 -31 metaprl/doc/htmlman/system/mp-ensemble.html
+1 -1 metaprl/doc/htmlman/system/mp-filter.html
+4 -5 metaprl/doc/htmlman/system/mp-index.html
+3 -3 metaprl/doc/htmlman/system/mp-itt.html
+1 -1 metaprl/doc/htmlman/system/mp-ocaml.html
+5 -5 metaprl/doc/htmlman/system/mp-refine.html
+1 -1 metaprl/doc/htmlman/system/mp-refiner.html
+1 -1 metaprl/doc/htmlman/system/mp-rewrite.html
+14 -13 metaprl/doc/htmlman/system/mp-system.html
+2 -2 metaprl/doc/htmlman/system/mp-tactic.html
+7 -8 metaprl/doc/htmlman/system/mp-tacticals.html
+1 -1 metaprl/doc/htmlman/system/mp-terms.html
+1 -1 metaprl/doc/htmlman/system/mp-type-inf-rsrc.html
Deleted metaprl/doc/htmlman/system/table.html
+1 -3 metaprl/doc/htmlman/tutorial/mp-all.html
+1 -1 metaprl/doc/htmlman/tutorial/mp-base-auto.html
+1 -1 metaprl/doc/htmlman/tutorial/mp-base.html
+1 -1 metaprl/doc/htmlman/tutorial/mp-class.html
+9 -9 metaprl/doc/htmlman/tutorial/mp-ctheory.html
+1 -1 metaprl/doc/htmlman/tutorial/mp-getting-started.html
+4 -5 metaprl/doc/htmlman/tutorial/mp-index.html
+25 -25 metaprl/doc/htmlman/tutorial/mp-not.html
+3 -3 metaprl/doc/htmlman/tutorial/mp-simple.html
+1 -1 metaprl/doc/htmlman/tutorial/mp-struct.html
+13 -13 metaprl/doc/htmlman/tutorial/mp-theory.html
+1 -1 metaprl/doc/htmlman/tutorial/mp-tutorial.html
+3 -3 metaprl/doc/htmlman/tutorial/mp-type.html
+4 -4 metaprl/doc/htmlman/user-guide/mp-axiom.html
+702 -919 metaprl/doc/htmlman/user-guide/mp-dform.html
+1464 -1924 metaprl/doc/htmlman/user-guide/mp-editor.html
+3 -3 metaprl/doc/htmlman/user-guide/mp-index.html
+1 -1 metaprl/doc/htmlman/user-guide/mp-modules.html
+4 -4 metaprl/doc/htmlman/user-guide/mp-rewrite.html
+1 -1 metaprl/doc/htmlman/user-guide/mp-terms.html
+1 -1 metaprl/doc/htmlman/user-guide/mp-user-guide.html
Deleted metaprl/doc/htmlman/user-guide/x.html
+19 -19 metaprl/doc/term_ds_types.html
Added metaprl/doc/weblintrc
Properties metaprl/doc/weblintrc