[om] Re: library

Arjeh Cohen amc at win.tue.nl
Tue May 15 17:36:00 CEST 2001

Dear Andrew,

Last Friday I discussed the remaining bits of the library with Manfred.
We had a crash after that, which took up most of his time.
He will try and have the library ready before Friday (when he leaves
for two weeks).
Then you should probably test it...

BTW, the company is still under negotiation with the Department---their
approach is more positive than last week, but I do not know where we end.



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