W3C home > Mailing lists > Public > public-owl-wg@w3.org > February 2009

Simpler editing of wiki tables

From: Markus Krötzsch <mak@aifb.uni-karlsruhe.de>
Date: Mon, 23 Feb 2009 15:18:19 +0100
To: OWL Working Group WG <public-owl-wg@w3.org>
Message-Id: <200902231518.28062.mak@aifb.uni-karlsruhe.de>
Many of you rightly complained about editing tables on the wiki. The following 
browser extension simplifies this job:


This gives you a more table-like input interface for tables. Installation is 
as easy as setting a bookmark. Usage is described on the above page.

The extension fails for some mark-up (esp. "|" within table cells), but even 
if some entries are not displayed properly in the UI, they are not destroyed 
by the tool. It really simplifies editing large tables as on 



Markus Krötzsch
Institut AIFB, Universität Karlsruhe (TH), 76128 Karlsruhe
phone +49 (0)721 608 7362          fax +49 (0)721 608 5998
mak@aifb.uni-karlsruhe.de          www  http://korrekt.org

Received on Monday, 23 February 2009 14:19:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:09 UTC