[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] gcl 2.6.2
|
From: |
root |
|
Subject: |
Re: [Gcl-devel] gcl 2.6.2 |
|
Date: |
Wed, 14 Apr 2004 01:30:31 -0400 |
Excellent. The lab should be powered on in the next few weeks (hopefully
by the end of april). Of course, I'll be at the east coast computer
algebra day at the beginning of may it's all gonna take time.
Michele Lavaud has a Windows version of the Rosetta CD which contains
a bunch of computer algebra systems. You might want to let him know
that GCL and ACL2 are running on Windows.
Tim