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

Re: managing the documents as wiki pages

From: Ian Horrocks <Ian.Horrocks@comlab.ox.ac.uk>
Date: Fri, 26 Oct 2007 14:11:06 +0100
Message-Id: <BD51B9D7-4B8E-40B2-BC9B-69F2A03AB2C9@comlab.ox.ac.uk>
Cc: sandro@w3.org, public-owl-wg@w3.org
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>

On 26 Oct 2007, at 13:57, Peter F. Patel-Schneider wrote:

> 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.

Agreed. Let's do it.

Ian


>
> 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:11:40 GMT

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