Is anyone working on ports to either clisp or gcl under Linux? Thanks, Dr. Harvey J. Stein Berger Financial Research hjstein@math.huji.ac.il