[om] OpenMath tar files?

[Bill Naylor]

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