[om] OpenMath tar files?
Bill Naylor
Bill.Naylor at mcs.vuw.ac.nz
Tue Aug 12 07:58:15 CEST 2003
Hi,
I recall that a few years back, it was possible to download a tar file
from the OpenMath site. It contained all sorts of stuff:
cd/*.ocd
sts/*.sts
ecc/*.ecc
cdgroups/*.cdg
etc.
it seems that this tar file has disappeared.
Now I'm in a state where I would really like to pick up a fresh set of sts
files from somewhere. Maybe I could suggest that the above tar file was
reinstated. Or maybe a few tar files:
one for core + public + extra + contributed
one each for core, public, extra, contributed
and one for each cdg
cheers,
Bill
--
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
More information about the Om
mailing list