[om] MathML Phrasebook
mriem at win.tue.nl
mriem at win.tue.nl
Fri Aug 30 11:32:58 CEST 2002
Hi Paul,
The extensibility in the case of the phrasebook is there
Because of dynamic code loading. You can attach your new
CD to the phrasebook with problems.
Manfred.
-------------------------------------------------------------
RIACA - http://www.riaca.win.tue.nl HG 9.38
Technische Universiteit Eindhoven Postbus 513
mriem at win.tue.nl 5300 MB Eindhoven
+31-40-2474797 The Netherlands
-------------------------------------------------------------
> -----Original Message-----
> From: owner-om at openmath.org [mailto:owner-om at openmath.org] On
> Behalf Of Paul Libbrecht
> Sent: Friday, August 30, 2002 10:52 AM
> To: om at openmath.org
> Subject: Re: [om] MathML Phrasebook
>
>
> Well,
>
> I think someone on this list already has a sketch.
> A phrasebook (according to RIACA system) may be faster though.
>
> In all cases, I would strongly insist that extensibility is
> taken care
> of and is documented (in both ways), that is, I'd like
> examples on how
> to extend the stylesheet or phrasebook for a new
> content-dictionary or
> simply for a new symbol.
>
> Paul
>
>
> On Vendredi, août 30, 2002, at 07:08 , Brian Palmer wrote:
>
> > "Meghasyam Bokam" <mbokam_om at rediffmail.com> writes:
> >> Can I write a phrasebook using java openmath library to convert
> >> Openmath into MathML, and back from MathML(content) to Openmath?
> >> If I can/can't do that, what is the best way to do?
> >
> > [...] I had thought there were existing style sheets to do the
> > transformation, but I had problems actually finding any
> that would do
> > it. So, I just started last week writing my own. If
> somebody has the
> > existing stylesheets available, I'd be glad to use those
> instead, but
> > otherwise, I'll make mine publically available when I'm finished..
> --
> 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
>
--
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