[om] Concatenation of lists ??

[Paul Libbrecht]

On Lundi, avril 30, 2001, at 05:54 , Michael Kohlhase wrote:

>
> One relatively simple way of implementing this would be to define a 
> project
> at sourceforge.net. Alternatively I could offer to put up some space 
> and a
> "system/product" in the buzilla at mathweb.org. Maybe we only want to 
> adopt
> this approach for the non-core cds.
>

Sourceforge has one definite advantage... it does have a CVSweb like 
interface which mathweb.org does not (yet) have.

Paul
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems