Interfaces to the library

• Every user with an HTTP of FTP space should be able to publish a document ===> no intelligence on the server side

• Every user with a standard browser should be able to browse the library ===> no intelligence on the client side

• Presentation sites: active sites that permit to browse with a standard browser documents that resides on other servers. The documents are downloaded, the transformations are applied and the result is returned to the user's browser (e.g. "http://cartoonia.cs.unibo.it/helm/coq")

• Presentation sites provide too few interaction ===> we are developing tools that integrate browsing and editing functionalities. This is a snapshot

• We need also tools for indexing and retrievial of the documents in the library. To do this we will exploit another XML instance, RDF (Resource Description Framework) that is the standard for metadata on XML documents