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