[om] [IDEA] om urls

Manfred Riem mriem at win.tue.nl
Wed Jan 24 12:02:26 CET 2001


Hi Paul,

A good idea, but then you will also need to define 
the protocol underlying the om: URL. Any ideas
in that direction?

Manfred.


> -----Original Message-----
> From: owner-om at openmath.org [mailto:owner-om at openmath.org]On Behalf Of
> Paul Libbrecht
> Sent: dinsdag 23 januari 2001 11:10
> To: om at openmath.org
> Subject: Re: [om] [IDEA] om urls
> 
> 
> This one should work but for some reasons is less readable... 
> <om:%3COMOBJ%3E%3COMA%3E%3COMS+cd%3D%22relation1%22+name%3D%22
> eq%22%2F%3E%3COMA%3E%3COMS+cd%3D%22relation1%22+name%3D%22eq%2
> 2%2F%3E%3COMA%3E%3COMS+cd%3D%22arith1%22+name%3D%22times%22%2F
> %3E%3COMV+name%3D%22x%22%2F%3E%3COMV+name%3D%22y%22%2F%3E%3C%2FOMA%3>.
> 
> I guess the things will have to be studied before being told to work 
> with email...
> 
> Here's the html code, just in case... but I guess everyone understood 
> the point...
> 
> <a 
> href="om:%3COMOBJ%3E%3COMA%3E%3COMS+cd%3D%22relation1%22+name%
> 3D%22eq%22%2F%3E%3COMA%3E%3COMS+cd%3D%22relation1%22+name%3D%2
> 2eq%22%2F%3E%3COMA%3E%3COMS+cd%3D%22arith1%22+name%3D%22times%
> 22%2F%3E%3COMV+name%3D%22x%22%2F%3E%3COMV+name%3D%22y%22%2F%3E
> %3C%2FOMA%3E%3COMS+cd%3D%22c6s1p4_Th2%22+name%3D%22unit%22%2F%
> 3E%3C%2FOMA%3E%3COMA%3E%3COMS+cd%3D%22c6s1p4_Th2%22+name%3D%22
> times%22%2F%3E%3COMV+name%3D%22x%22%2F%3E%3COMV+name%3D%22z%22
> %2F%3E%3C%2FOMA%3E%3C%2FOMA%3E%3C%2FOMOBJ%3E">here 
> it is</a>
> 
> Paul
> --
> 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