The join-calculus distribution

Warning

This page gives access to the join distributions. Matching join and Objective Caml versions requires a little attention. Please, read this whole page before downloading anything.


  Important requirement

The join-calculus requires Objective Caml, which is available at here. More information on Objective Caml is available here

  Version information

The current official version of join (1.02) must be compiled with an obsolete Objective Caml version (1.05). The advanced beta release of join (1.03-1) can be compiled with the current official Objective Caml version (1.07).

Our advice: install our beta-release. If you already have an obsolete OCaml version, it is time to update!


(Beta) Release 1.03-1

The available documentation for this release is a bit uncomplete. However, this release is compatible with the current offficial OCaml release. The whole distribution is accessible by anonymous FTP here In the directory, you find the following files.

 

(Official) Release 1.02

This release is the one that is fully compatible with the documentation. However it cannot be compiled with the current version of OCaml. The whole distribution is accessible by anonymous FTP here (before you click, please read the whole page) In the directory, you find the following files.

Contact address and bug reports: jc-team@inria.fr