Foreword

This manual documents the release 4.01 of the JoCaml system. JoCaml is an extension of Objective Caml.

License

As an extension, JoCaml includes much source code from Objective Caml. It should be no surprise that JoCaml license is exactly Objective Caml license.

The JoCaml system is open source and can be freely redistributed. See the file LICENSE in the distribution for licensing information.

The present documentation is copyright © 2014 Institut National de Recherche en Informatique et en Automatique (INRIA). The JoCaml documentation and user’s manual may be reproduced and distributed in whole or in part, subject to the following conditions:

• The copyright notice above and this permission notice must be preserved complete on all complete or partial copies.
• Any translation or derivative work of the JoCaml documentation and user’s manual must be approved by the authors in writing before distribution.
• If you distribute the JoCaml documentation and user’s manual in part, instructions for obtaining the complete version of this manual must be included, and a means for obtaining a complete version provided.
• Small portions may be reproduced as illustrations for reviews or quotes in other works without this permission notice if proper citation is given.

Availability

The complete JoCaml distribution can be accessed via the Web site http://jocaml.inria.fr/. This Web site contains some additional information on JoCaml.

Acknowledgements

We thank the whole Objective Caml development team, and in particular Xavier Leroy, for giving us full access to source code, computer resources, names, logos etc. All bugs we have introduced are ours.

JoCaml and this manual owe much to previous work, by numerous people, including Fabrice Le Fessant, Cédric Fournet and Alan Schmitt.

The software authors are Luc Maranget, Ma Qin and Louis Mandel.