gcl-devel
[Top][All Lists]
Advanced

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

[Gcl-devel] Re: New members


From: Jerry James
Subject: [Gcl-devel] Re: New members
Date: Mon, 23 Feb 2009 14:29:58 -0700

On Mon, Feb 23, 2009 at 2:17 PM, Camm Maguire <address@hidden> wrote:
Greetings, and welcome to the gcl development team!

Both of you now should have cvs write access.  I would greatly
appreciate it if we could briefly discuss any commits you'd like to
make at the beginning, until we get a feel for how to best divide the
workload and avoid duplication.

Donald, your area would clearly seem to be the maintenance of the
mingw port, unless you have other interests.  This is a fairly
contained area.  I feel comfortable giving you wide latitude in this
regard, primarily because I have no familiarity with these systems :-)
Please let me know if you're interested in anything else as well.

>From your very helpful patches, Jerry, I get a feel for what you may
be interested in, and it is very helpful indeed.  As collisions
between us are a bit more likely, discussion at the beginning would be
most appreciated.

Absolutely.  I certainly don't want to step on your toes or waste time duplicating effort.
 
Please be aware that our primary purpose is to support the existing
large applications with great portability and performance.
(maxima,acl2,axiom,fricas,hol88,nqthm1992)  If you are interested in
anything major, its a good idea to build a local tree and test at
least some of these applications.

I have a goal, by the way, to add PVS to that list.  I'll certainly have to build and try out some of those applications, though, so I can tell whether I've broken anything.

Thanks for giving me the chance to participate, Camm.
--
Jerry James
http://loganjerry.googlepages.com/


reply via email to

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