[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: GCL

From: Camm Maguire
Subject: [Gcl-devel] Re: GCL
Date: 18 Jan 2002 15:51:39 -0500


Ruben Gamboa <address@hidden> writes:

> Hello!  First, I'd like to thank you for offering to maintain gcl now
> that Bill Schelter is no longer with us.

I hope I can eventually help, along with many others, to fill his

> Second, I'd like to inquire on the status of gcl with respect to
> redhat 7.1.  At U of Wyoming, we run a redhat shop, and I'd like to
> use gcl in my theorem proving course next semester.  But our sys
> admins haven't been able to get gcl compiles, and I'm afraid I failed,
> too.

Please check out the latest cvs, either version 2.4.0 (default) or
version 2.5.0.  It should work under all flavors of Linux.  Please let
me know if this is not the case for you!.  

In addition, I'd greatly appreciated any patches or other assistance
you may come upon in the course of using this for your class.  Please
direct all interested parties to the address@hidden list, and/or
the savannah.gnu.org/projects/gcl website.  Volunteers can also be set
up on the website with some form of write access should they wish.

Take care,

> Thanks,
> Ruben Gamboa

Camm Maguire                                            address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]