[Authors] [News] [Requirements] [Download] [Reference] [Panel] [Back to HELM software]

HTTP Getter: HELM library access manager top
Last update: Wed, 02 Apr 2003 12:46:10 +0200 zacchiro
Contact: zack@cs.unibo.it

HTTP Getter is a Web-Service used to manage access to the HELM library.

HTTP Getter interface is based on HTTP GET method: it can indeed be contacted with a proper URL containing all parameters needed to fullfill a request.

Using HTTP Getter you can choose which servers build up your own HELM library (or, if you like, your slice of the world wide HELM library).

The Getter then takes care of mapping HELM documents' URIs to URL pointing to the real documents and uses this abstraction to fullfill user requests.

Using the Getter, the user can perform different kind of actions on the HELM library documents, mainly:

The Getter actually supports CIC documents obtained exporting the Coq's proof assistant library and NuPRL documents obtained in the same way from the NuPRL's proof assistant library.

The Getter is fully developed in the OCaml programming language and is distributed under the term of the GNU General Public License (GPL).

The Getter was originally written (and rewritten, and rewritten, and ...) in the Perl programming language by Claudio Sacerdoti Coen and me.
Current version of the Getter has been fully reimplemented from scratch.

Authors top
Main authors of the current version: Main authors of the old version:
News top

April 2, 2003

HTTP Getter 0.2.1 is out!
Requirements top

HTTP Getter is a standalone HTTP Daemon written in OCaml.

In order to build HTTP Getter from sources you will need:
Download top
Reference top

HTTP Getter web service is actually bound only to the HTTP GET method. All command and parameters are encoded in the request URL. The generic format of Getter invocations is:


Supported commands:

display this help message











Panel top

We have designed a simple web page (namely the Getter panel) which allows a simple interaction with the Getter. Currently, the page is tuned to be used in the context of HELM, but you can download and customize it to your needs.
Use the panel!.