[Aldor-l] Aldor libraries for dealing with XML objects

[David Casperson]

W Naylor, on 2008-08-04, you wrote:

> This depends on some of the 2004-XML libraries, and also on a bunch of
> java classes (for doing the web stuff), also some further aldor domains
> for converting between (an OpenMath version of) the XML (effectively
> typeless) and the strongly typed Aldor domain objects they represent.
> If any one is interested in getting hold of this code. I have it on my
> home lap top, and am sure I can dig it out for them,

I'm interested in this stuff.  I'm actually more interested in
adding hooks to the compiler so that external editors (for
instance, Emacs) can get detailed parse information that
corresponds to what Aldor believes the parse to be, but it seems
that XML with a RNG DTD would be a nice way to communicate the
parse information, so any Aldor libraries that deal with XML are
useful.


David
-- 
Dr. David Casperson, Assistant Professor     |  casper at unbc.ca
Department of Computer Science               |  (250)   960-6672 Fax 960-5544
College of Science and Management            |  3333 University Way
University of Northern British Columbia      |  Prince George, BC   V2N 4Z9
                                              |  CANADA