[om] RIACA webstart

[Michael Kohlhase]

Lieber J"urgen, 

ich habe das in den letzten Tagen auch mal probiert. Du mu"st bei Sun das
"webstart framework" herunterladen, und den richtigen mime-type
eintragen. Guck mal unter http://www.cs.cmu.edu/~kohlhase/talks/om-tutorial
nach. Vielleicht interessieren dich auch noch ein paar andere Links dort. 

     Michael

--
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