W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2007

Re: managing the documents as wiki pages

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 26 Oct 2007 08:57:45 -0400 (EDT)
Message-Id: <20071026.085745.129356119.pfps@research.bell-labs.com>
To: sandro@w3.org
Cc: Ian.Horrocks@comlab.ox.ac.uk, public-owl-wg@w3.org

From: "Sandro Hawke" <sandro@w3.org>
Subject: Re: managing the documents as wiki pages
Date: Fri, 26 Oct 2007 08:41:04 -0400

[...]

> > On 26 Oct 2007, at 10:09, Peter F. Patel-Schneider wrote:

[...]

> > > Looks good.  I like having one page for the document (even though
> > > MediWiki puts in gratuitous warnings about the page being too big for
> > > some browsers).
> 
> Yeah, I'm pretty happy with it.

[...]

>      -- Sandro

I think that it is "ready for prime time", i.e., that we can use this
mechanism to transition the documents for real, and start editing.  

The only problem I see is that the ids of the references (except the
first one, strangely) don't seem to make it across.  This can easily be
fixed manually.

peter
Received on Friday, 26 October 2007 13:06:36 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:26 GMT