vortex.01.03.06 installed


Subject: vortex.01.03.06 installed
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Tue Mar 06 2001 - 17:08:56 PST


I installed the executable corresponding to my publish, vortex.01.03.06,
for Linux and Solaris. Other architectures available on request.

The interesting feature of this executable is the improved typechecker.

Vass

_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil



This archive was generated by hypermail 2b25 : Tue Mar 06 2001 - 17:09:04 PST