Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-27 16:59:37 -0700 (Wed, 27 Apr 2005)
Revision: 7231
Log message:

      Reverting the magic number to the Unix one.
      Adding *.out, *.fls to .cvsignore.
      

Changes	Path
+1 -1	metaprl/filter/base/filter_magic.ml
Properties	metaprl/theories/fol
Properties	metaprl/theories/itt