#: 4525 S12/OS9/68000 (OSK)
    20-Jun-90  15:28:15
Sb: #4513-TOP Munich Release 2.0
Fm: Wayne Day 76703,376
To: Ed Gresick 76576,3312 (X)

If we don't have enough available, we can certainly acquire enough, Ed. That's
not really a problem, like Steve mentioned.

What I'm thinking of is the fact that the Mizar format is not universal, and
some folks may be left out because of that.. plus.. others may not want the
whole thing.

Is the library broken down into logical sections, or is it just a mixmash of
files?

Could there be some way you might choose a bit of "The Best Of.." and see if
there's enough interest to justify uploading the rest of the material? That
might help us gauge the interest in OSK here, as well.

As I said... we're interested in helping out the average user, but don't wanna
make things a hassle for you at the same time.

Wayne