The tools for Logics for the Web 
that were in this directory: IsaViz 
and RDFAuthor were moved on ./scratch
Let me know if you need them.

Adrian/
adrpo@ida.liu.se