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