[Gcl-devel] Re: GCL

[Camm Maguire]

Greetings!

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
shoes! 

> 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