Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-12-28 12:05:53 -0800 (Tue, 28 Dec 2004)
Revision: 6363
Log message:

      *.lnk should be ignored (used under Cygwin)
      

Changes	Path
Properties	metaprl
Properties	metaprl/bin
Properties	metaprl/editor/ml
Properties	metaprl/filter/base
Properties	metaprl/lib
Properties	metaprl/mllib
Properties	metaprl/refiner/refbase
Properties	metaprl/refiner/refiner
Properties	metaprl/refiner/reflib
Properties	metaprl/refiner/refsig
Properties	metaprl/refiner/rewrite
Properties	metaprl/refiner/term_ds
Properties	metaprl/refiner/term_gen
Properties	metaprl/refiner/term_std
Properties	metaprl/support/display
Properties	metaprl/support/shell
Properties	metaprl/support/tactics
Properties	metaprl/tactics/ensemble
Properties	metaprl/tactics/null
Properties	metaprl/tactics/proof
Properties	metaprl/theories/base
Properties	metaprl/theories/itt