[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Strong Mizar wish: linking to consider (fwd)

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Strong Mizar wish: linking to consider (fwd)
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
Date: Wed, 20 Mar 2002 17:25:00 -0700

On Tue, Mar 19, 2002 at 08:40:12AM +0100, Czeslaw Bylinski wrote:
that andrea asperti wrote:

> Yes. I would just like to add to Claudio's description that
> as soon as you agree on some DTD for Mizar and export
> Mizar documents into XML, we would
> be VERY interested to work on them, applying our HELM
> technology and knowhow (e.g. for rendering, or for
> the implementation of complex searching and retrieving
> functionalities).

Where can I see the "complex searching and retrieving functionalities"
in HELM?  I have looked into the HELM web pages but I do not see much
more functionality than what is provided in .html stuff in JFM/Mizar.
Am I missing something?

-- 
Piotr Rudnicki               CompSci, Univerity of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr

Follow-Ups:
- Re: [mizar] Strong Mizar wish: linking to consider (fwd)
  - From: Andrea Asperti <asperti@CS.UniBO.IT>

References:
- Re: [mizar] Strong Mizar wish: linking to consider (fwd)
  - From: Czeslaw Bylinski <bylinski@math.uwb.edu.pl>

Prev by Date: Re: [mizar] Strong Mizar wish: linking to consider (fwd)
Next by Date: Re: [mizar] Strong Mizar wish: linking to consider (fwd)
Index(es):
- Chronological
- Thread