#: 4552 S12/OS9/68000 (OSK)
    21-Jun-90  17:31:13
Sb: #4542-#TOP Munich Release 2.0
Fm: Wayne Day 76703,376
To: Ed Gresick 76576,3312 (X)

I think the OSK library would probably be fine for the initial uploads, Ed. If,
at some time in the future, you (or someone else) decides to upload the whole
library, we can make some changes in that decision.

No problem on the Mizar format.. I can read and write it with no problem, but
only 40 tracks... it's not that common, methinks.

Anyway.. like I said.. don't feel you have to upload the whole thing.. a sample
of what you feel folks would like would be fine with us.

Wayne

There is 1 Reply.