Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-07-04 16:54:21 -0700 (Tue, 04 Jul 2006)
Revision: 9418
Log message:

      Include the words file in the distribution so that we do not need to worry
      about different setups having very different words files (or no words file at
      all). This version of the words.linux file is a copy of the linux.words file
      from Red Hat's words-3.0-3 package, which in turn took the file from
      http://www.dcs.shef.ac.uk/research/ilash/Moby/.
      
      Also, removed a number of words from words.metaprl as they now appear in the
      words.linux.
      
      P.S. According to both the package and the above URL, the file is in public
      domain.
      

Changes  Path
+1 -1 metaprl/OMakefile_theories
+1 -1 metaprl/filter/OMakefile
+4 -6 metaprl/filter/base/filter_spell.ml
Deleted metaprl/filter/words
Added metaprl/filter/words.linux
Copied metaprl/filter/words.metaprl
+54 -0 metaprl/filter/words.metaprl
+9 -0 metaprl/mk/defaults