[Gd-chatter] r10884 - in trunk/ltd/test: . ref

[hannes at gwydiondylan.org]

Author: hannes
Date: Sun Sep  3 22:36:33 2006
New Revision: 10884

Added:
   trunk/ltd/test/prover2.lisp
      - copied unchanged from r10883, trunk/ltd/test/PROVER.lisp
   trunk/ltd/test/ref/prover2.dylan
      - copied unchanged from r10883, trunk/ltd/test/ref/PROVER.dylan
Removed:
   trunk/ltd/test/PROVER.lisp
   trunk/ltd/test/ref/PROVER.dylan
Log:
Bug: 7322
move PROVER.[lisp|dylan] to prover2.[lisp|dylan],
there is a prover.[lisp|dylan], which caused problems
on case-insensitive file systems during checkout