Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

(redesign) html->md: actual conversion

  • Loading branch information...
commit 384ee97d906c15c327ac25c38c094e7201f66f29 1 parent fb39148
@pw374 pw374 authored
Showing with 12,004 additions and 11,321 deletions.
  1. +76 −98 src/site/community/mailing_lists.fr.md
  2. +59 −85 src/site/community/mailing_lists.md
  3. +13 −27 src/site/community/planet.md
  4. +64 −79 src/site/community/support.fr.md
  5. +134 −160 src/site/community/support.md
  6. +39 −44 src/site/docs/cheat_sheets.md
  7. +7 −14 src/site/docs/consortium-license.md
  8. +11 −31 src/site/docs/install.fr.md
  9. +531 −730 src/site/docs/install.md
  10. +663 −16 src/site/docs/license.fr.md
  11. +663 −16 src/site/docs/license.md
  12. +53 −79 src/site/docs/logos.md
  13. +295 −373 src/site/docs/papers.md
  14. +37 −54 src/site/docs/videos.md
  15. +79 −172 src/site/index.md
  16. +390 −475 src/site/learn/books.md
  17. +254 −500 src/site/learn/companies.md
  18. +236 −329 src/site/learn/description.md
  19. +423 −571 src/site/learn/faq.md
  20. +212 −279 src/site/learn/history.fr.md
  21. +190 −263 src/site/learn/history.md
  22. +15 −23 src/site/learn/libraries.md
  23. +133 −189 src/site/learn/portability.md
  24. +215 −301 src/site/learn/success.fr.md
  25. +211 −312 src/site/learn/success.md
  26. +109 −180 src/site/learn/taste.fr.md
  27. +170 −245 src/site/learn/taste.md
  28. +1,575 −1,861 src/site/learn/tutorials/99problems.md
  29. +34 −46 src/site/learn/tutorials/acknowledgements.md
  30. +367 −201 src/site/learn/tutorials/basics.fr.md
  31. +347 −195 src/site/learn/tutorials/basics.it.md
  32. +347 −163 src/site/learn/tutorials/basics.md
  33. +271 −116 src/site/learn/tutorials/calling_c_libraries.md
  34. +127 −61 src/site/learn/tutorials/calling_fortran_libraries.md
  35. +89 −57 src/site/learn/tutorials/camlp4_3.10.md
  36. +15 −17 src/site/learn/tutorials/camlp4_3.10/dynamic_functor_example.md
  37. +12 −14 src/site/learn/tutorials/camlp4_3.10/dynamic_old_syntax.md
  38. +348 −145 src/site/learn/tutorials/camlp4_3.10/foreach_tutorial.md
  39. +12 −15 src/site/learn/tutorials/camlp4_3.10/quick_non_extensible_example.md
  40. +12 −14 src/site/learn/tutorials/camlp4_3.10/static_functor_example.md
  41. +11 −16 src/site/learn/tutorials/camlp4_3.10/static_old_syntax.md
  42. +25 −41 src/site/learn/tutorials/camlp5.md
  43. +40 −28 src/site/learn/tutorials/command-line_arguments.md
  44. +143 −108 src/site/learn/tutorials/common_error_messages.md
  45. +70 −76 src/site/learn/tutorials/comparison_of_standard_containers.md
  46. +120 −50 src/site/learn/tutorials/compiling_ocaml_projects.md
  47. +127 −76 src/site/learn/tutorials/compiling_with_gnu_make.md
  48. +29 −16 src/site/learn/tutorials/compiling_with_omake.md
  49. +304 −211 src/site/learn/tutorials/data_types_and_matching.fr.md
  50. +289 −178 src/site/learn/tutorials/data_types_and_matching.md
  51. +222 −321 src/site/learn/tutorials/debug.md
  52. +63 −98 src/site/learn/tutorials/dev_tools.md
  53. +90 −47 src/site/learn/tutorials/file_manipulation.md
  54. +77 −59 src/site/learn/tutorials/filenames.md
  55. +354 −533 src/site/learn/tutorials/format.fr.md
  56. +322 −497 src/site/learn/tutorials/format.md
  57. +321 −173 src/site/learn/tutorials/functional_programming.fr.md
  58. +297 −130 src/site/learn/tutorials/functional_programming.md
  59. +262 −113 src/site/learn/tutorials/garbage_collection.md
Sorry, we could not display the entire diff because it was too big.
View
174 src/site/community/mailing_lists.fr.md 100755 → 100644
@@ -1,98 +1,76 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <meta content="IE=8" http-equiv="X-UA-Compatible">
- <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
- <title>Les liste de diffusions OCaml</title>
- </head>
- <body>
- <h3>La liste de diffusion OCaml : caml-list AT inria.fr</h3>
- <p>
- La liste de diffusion OCaml s'adresse à tous les utilisateurs des
- implémentations OCaml de l'Inria. Le but de cette tribune est de mettre
- en commun les expériences, échanger idées et morceaux de code, et
- discuter des applications du langage OCaml. Il faut être inscrit à la
- liste avant de pouvoir y poster des messages. Les messages y sont
- écrits principalement en anglais, mais parfois aussi en français. En
- 2010, la liste compte environ 1500 abonnées, qui échangent de l'ordre
- de 300 messages par mois.
- </p>
- <p>
- <a href="https://sympa.inria.fr/sympa/subscribe/caml-list">Abonnement</a>
- | <a href="https://sympa.inria.fr/sympa/arc/caml-list">Archives locales</a>
- | <a href="http://groups.google.com/groups?group=fa.caml">Archives sur Google Groups</a>
- </p>
-
- <h3>List des débutants OCaml : ocaml_beginners AT yahoogroups.com</h3>
- <p>
- Cette liste est un lieu pour l'aide mutuelle entre ceux qui
- reconnaissent qu'ils ne sont pas encore des gourous d'OCaml... Tout ce
- que vous souhaitez demander à propos d'OCaml, mais que vous n'osez pas
- soumettre à la plus officielle caml-list AT inria.fr, peut être
- discuté ici. Début 2004, la liste compte environ 300 abonnés, qui
- échangent de l'ordre de 100 messages par mois.
- </p>
- <p><a href="http://tech.groups.yahoo.com/group/ocaml_beginners/">Page de la liste sur Yahoo!</a></p>
-
- <h3>Liste de diffusion pour les stages et offres d'emplois concernant OCaml : ocaml-jobs AT inria.fr</h3>
- <p>
- Cette liste permet les échanges entre les personnes qui
- cherchent un emploi ou un stage nécessitant une connaissance
- d'OCaml et les personnes, établissements ou entreprises qui
- offrent de tels emplois ou stages.
- </p>
- <p><a href="https://sympa.inria.fr/sympa/info/ocaml-jobs">(Dés)abonnement</a></p>
-
- <h3>Annonces OCaml : caml-announce AT inria.fr</h3>
- <p>
- Il s'agit d'une liste à faible trafic et modérée pour les annonces de
- nouvelles versions d'OCaml et des nouveaux logiciels, librairies,
- documents, etc. concernant OCaml.
- </p>
- <p><a href="http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-announce">(Dés)abonnement</a></p>
-
- <h3>Canal IRC OCaml : irc.freenode.net #ocaml</h3>
- <p>
- IRC est un moyen de communication en temps réel, où il est
- possible de demander de l'aide dans un salon de discussion. Il y
- a en moyenne une centaine d'utilisateurs présents dans ce canal
- de discussion ; ne demandez pas si vous pouvez poser une
- question, posez la question directement ; faites preuve de
- patience : tout le monde ne vit pas dans le même fuseau
- horaire. Vous pouvez accéder au canal de discussion au travers de
- l'<a href="http://webchat.freenode.net/?channels=#ocaml">interface
- web</a> ou à l'aide de n'importe quel client IRC.
- </p>
-
- <!-- This list seems to be unused... there may be one mail per year I think... -->
- <!-- <h3>Groupe de discussion francophone à propos d'OCaml : fr.comp.lang.caml</h3> -->
- <!-- <p> -->
- <!-- Ce groupe est dédié aux discussions autour du langage -->
- <!-- Caml et des compilateur Caml Light et OCaml. Beaucoup de discussions -->
- <!-- sont à l'origine d'étudiants francophones qui apprennent OCaml. -->
- <!-- </p> -->
- <!-- <p><a href="http://groups.google.com/groups?group=fr.comp.lang.caml">Archives sur Google Groups</a></p> -->
-
- <h3>Groupe de discussion sur ML : comp.lang.ml</h3>
- <p>
- Il s'agit d'un groupe de discussion modéré à propos de toutes les
- variantes de ML. Les discussions concernent le plus souvent les
- implémentations de Standard ML (comme SML-NJ), mais certains fils sont
- relatifs à la branche OCaml.
- </p>
- <p><a href="http://groups.google.com/groups?group=comp.lang.ml">Archives sur Google Groups</a> | <a href="http://www.faqs.org/faqs/meta-lang-faq/">FAQ</a></p>
-
- <h3>Groupe de discussion sur les langages fonctionnels : comp.lang.functional</h3>
- <p>
- Il s'agit d'un groupe de discussion non modéré pour discuter de tous
- les aspects des langages de programmation fonctionnels, dont la
- conception, leur application, les bases théoriques et
- l'implémentation. Les messages concernent toutes les familles de
- langages fonctionnels, stricts (e.g. Haskell) ou non (e.g. Scheme, SML
- ou OCaml).
- </p>
- <p><a href="http://groups.google.com/groups?group=comp.lang.functional">Archives sur Google Groups</a> | <a href="http://www.cs.nott.ac.uk/~gmh/faq.html">FAQ</a></p>
-
- </body>
-</html>
+<!-- ((! set title Liste de diffusion OCaml !)) ((! set community !)) -->
+
+### La liste de diffusion OCaml : caml-list AT inria.fr
+La liste de diffusion OCaml s'adresse à tous les utilisateurs des
+implémentations OCaml de l'Inria. Le but de cette tribune est de mettre
+en commun les expériences, échanger idées et morceaux de code, et
+discuter des applications du langage OCaml. Il faut être inscrit à la
+liste avant de pouvoir y poster des messages. Les messages y sont écrits
+principalement en anglais, mais parfois aussi en français. En 2010, la
+liste compte environ 1500 abonnées, qui échangent de l'ordre de 300
+messages par mois.
+
+[Abonnement](https://sympa.inria.fr/sympa/subscribe/caml-list) |
+[Archives locales](https://sympa.inria.fr/sympa/arc/caml-list) |
+[Archives sur Google
+Groups](http://groups.google.com/groups?group=fa.caml)
+
+### List des débutants OCaml : ocaml_beginners AT yahoogroups.com
+Cette liste est un lieu pour l'aide mutuelle entre ceux qui
+reconnaissent qu'ils ne sont pas encore des gourous d'OCaml... Tout ce
+que vous souhaitez demander à propos d'OCaml, mais que vous n'osez pas
+soumettre à la plus officielle caml-list AT inria.fr, peut être discuté
+ici. Début 2004, la liste compte environ 300 abonnés, qui échangent de
+l'ordre de 100 messages par mois.
+
+[Page de la liste sur
+Yahoo!](http://tech.groups.yahoo.com/group/ocaml_beginners/)
+
+### Liste de diffusion pour les stages et offres d'emplois concernant OCaml : ocaml-jobs AT inria.fr
+Cette liste permet les échanges entre les personnes qui cherchent un
+emploi ou un stage nécessitant une connaissance d'OCaml et les
+personnes, établissements ou entreprises qui offrent de tels emplois ou
+stages.
+
+[(Dés)abonnement](https://sympa.inria.fr/sympa/info/ocaml-jobs)
+
+### Annonces OCaml : caml-announce AT inria.fr
+Il s'agit d'une liste à faible trafic et modérée pour les annonces de
+nouvelles versions d'OCaml et des nouveaux logiciels, librairies,
+documents, etc. concernant OCaml.
+
+[(Dés)abonnement](http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-announce)
+
+### Canal IRC OCaml : irc.freenode.net \#ocaml
+IRC est un moyen de communication en temps réel, où il est possible de
+demander de l'aide dans un salon de discussion. Il y a en moyenne une
+centaine d'utilisateurs présents dans ce canal de discussion ; ne
+demandez pas si vous pouvez poser une question, posez la question
+directement ; faites preuve de patience : tout le monde ne vit pas dans
+le même fuseau horaire. Vous pouvez accéder au canal de discussion au
+travers de l'[interface
+web](http://webchat.freenode.net/?channels=#ocaml) ou à l'aide de
+n'importe quel client IRC.
+
+### Groupe de discussion sur ML : comp.lang.ml
+Il s'agit d'un groupe de discussion modéré à propos de toutes les
+variantes de ML. Les discussions concernent le plus souvent les
+implémentations de Standard ML (comme SML-NJ), mais certains fils sont
+relatifs à la branche OCaml.
+
+[Archives sur Google
+Groups](http://groups.google.com/groups?group=comp.lang.ml) |
+[FAQ](http://www.faqs.org/faqs/meta-lang-faq/)
+
+### Groupe de discussion sur les langages fonctionnels : comp.lang.functional
+Il s'agit d'un groupe de discussion non modéré pour discuter de tous les
+aspects des langages de programmation fonctionnels, dont la conception,
+leur application, les bases théoriques et l'implémentation. Les messages
+concernent toutes les familles de langages fonctionnels, stricts (e.g.
+Haskell) ou non (e.g. Scheme, SML ou OCaml).
+
+[Archives sur Google
+Groups](http://groups.google.com/groups?group=comp.lang.functional) |
+[FAQ](http://www.cs.nott.ac.uk/~gmh/faq.html)
+
+
View
144 src/site/community/mailing_lists.md
@@ -1,93 +1,67 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <meta content="IE=8" http-equiv="X-UA-Compatible">
- <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
- <title>OCaml Mailing Lists</title>
- </head>
- <body>
- <h3>The official OCaml mailing list: caml-list AT inria.fr</h3>
- <p>
- The OCaml mailing list is intended for all users of the OCaml
- implementations developed at Inria. The purpose of this list is
- to share experience, exchange ideas and code, and report on
- applications of the OCaml language. This list is not moderated,
- but posting is restricted to the subscribers of the
- list. Messages are generally in English but sometimes also in
- French. In 2010, the list has about 1500 subscribers, who
- exchange about 300 messages per month.
- </p>
- <p>
- <a href="https://sympa.inria.fr/sympa/subscribe/caml-list">Subscribe</a>
- | <a href="https://sympa.inria.fr/sympa/arc/caml-list">Inria Archives</a>
- | <a href="http://groups.google.com/groups?group=fa.caml">Google Groups Archives</a>
- </p>
+<!-- ((! set title Official OCaml Mailing Lists !)) ((! set community !)) -->
- <h3>OCaml Beginners mailing list: ocaml_beginners AT yahoogroups.com</h3>
- <p>
- This list is a place for the mutual aid of those who recognize that
- they're not OCaml gurus yet... everything you wanted to ask about
- OCaml, but were afraid to submit in the more official caml-list AT
- inria.fr, can be asked, answered and discussed here. In early 2004,
- the list has about 300 subscribers, who exchange about 100 messages
- per month.
- </p>
- <p><a href="http://tech.groups.yahoo.com/group/ocaml_beginners/">List's page at Yahoo!</a></p>
+### The official OCaml mailing list: caml-list AT inria.fr
+The OCaml mailing list is intended for all users of the OCaml
+implementations developed at Inria. The purpose of this list is to share
+experience, exchange ideas and code, and report on applications of the
+OCaml language. This list is not moderated, but posting is restricted to
+the subscribers of the list. Messages are generally in English but
+sometimes also in French. In 2010, the list has about 1500 subscribers,
+who exchange about 300 messages per month.
- <h3>OCaml jobs and internships mailing list: ocaml-jobs AT inria.fr</h3>
- <p>
- This list is for exchanges between people looking for a job or an
- internship requiring skills in OCaml and people, corporations,
- universities, ..., offering such jobs or internships.
- </p>
- <p><a href="https://sympa.inria.fr/sympa/info/ocaml-jobs">(Un)subscribe</a></p>
+[Subscribe](https://sympa.inria.fr/sympa/subscribe/caml-list) | [Inria
+Archives](https://sympa.inria.fr/sympa/arc/caml-list) | [Google Groups
+Archives](http://groups.google.com/groups?group=fa.caml)
- <h3>Annoucements about OCaml: caml-announce AT inria.fr</h3>
- <p>
- This is a low-traffic, moderated list for announcements of
- OCaml releases and new OCaml-related software, libraries, documents,
- etc.
- </p>
- <p><a href="http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-announce">(Un)subscribe</a></p>
+### OCaml Beginners mailing list: ocaml_beginners AT yahoogroups.com
+This list is a place for the mutual aid of those who recognize that
+they're not OCaml gurus yet... everything you wanted to ask about OCaml,
+but were afraid to submit in the more official caml-list AT inria.fr,
+can be asked, answered and discussed here. In early 2004, the list has
+about 300 subscribers, who exchange about 100 messages per month.
- <h3>OCaml IRC Channel: irc.freenode.net #ocaml</h3>
- <p>
- This is real-time communication channel, where you can ask for
- help. There are about a hundred users hanging around; don't ask
- if you can ask, just ask, and be patient: not everyone is in the
- same timezone. The IRC Channel can be accessed through a web
- interface or any regular IRC client.
- </p>
+[List&#39;s page at
+Yahoo!](http://tech.groups.yahoo.com/group/ocaml_beginners/)
- <!-- This list seems to be unused... there may be one mail per year I think... -->
- <!-- <h3>French discussion group about OCaml: fr.comp.lang.caml</h3> -->
- <!-- <p> -->
- <!-- This French-speaking newsgroup is dedicated to discussions about the -->
- <!-- OCaml language and its compiler Caml Light. Many discussions -->
- <!-- are initiated by French students who are learning OCaml at School or -->
- <!-- University. -->
- <!-- </p> -->
- <!-- <p><a href="http://groups.google.com/groups?group=fr.comp.lang.caml">Google Groups Archives</a></p> -->
+### OCaml jobs and internships mailing list: ocaml-jobs AT inria.fr
+This list is for exchanges between people looking for a job or an
+internship requiring skills in OCaml and people, corporations,
+universities, ..., offering such jobs or internships.
- <h3>Discussion group about ML: comp.lang.ml</h3>
- <p>
- This is a moderated Usenet newsgroup about all variants of
- ML. Discussions generally concerns Standard ML implementations (such
- as SML-NJ), but some threads concerns the OCaml branch.
- </p>
- <p><a href="http://groups.google.com/groups?group=comp.lang.ml">Archives at Google Groups</a> | <a href="http://www.faqs.org/faqs/meta-lang-faq/">FAQ</a></p>
+[(Un)subscribe](https://sympa.inria.fr/sympa/info/ocaml-jobs)
+
+### Annoucements about OCaml: caml-announce AT inria.fr
+This is a low-traffic, moderated list for announcements of OCaml
+releases and new OCaml-related software, libraries, documents, etc.
+
+[(Un)subscribe](http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-announce)
+
+### OCaml IRC Channel: irc.freenode.net \#ocaml
+This is real-time communication channel, where you can ask for help.
+There are about a hundred users hanging around; don't ask if you can
+ask, just ask, and be patient: not everyone is in the same timezone. The
+IRC Channel can be accessed through a web interface or any regular IRC
+client.
+
+### Discussion group about ML: comp.lang.ml
+This is a moderated Usenet newsgroup about all variants of ML.
+Discussions generally concerns Standard ML implementations (such as
+SML-NJ), but some threads concerns the OCaml branch.
+
+[Archives at Google
+Groups](http://groups.google.com/groups?group=comp.lang.ml) |
+[FAQ](http://www.faqs.org/faqs/meta-lang-faq/)
+
+### Discussion group about functional languages: comp.lang.functional
+This is an unmoderated usenet newsgroup for the discussion of all
+aspects of functional programming languages, including their design,
+application, theoretical foundation, and implementation. Discussions
+concern all families of functional programming languages including
+non-strict ones (e.g. Haskell) and strict ones (e.g. Scheme, SML or
+OCaml).
+
+[Archives at Google
+Groups](http://groups.google.com/groups?group=comp.lang.functional) |
+[FAQ](http://www.cs.nott.ac.uk/~gmh/faq.html)
- <h3>Discussion group about functional languages: comp.lang.functional</h3>
- <p>
- This is an unmoderated usenet newsgroup for the discussion of all
- aspects of functional programming languages, including their design,
- application, theoretical foundation, and implementation. Discussions
- concern all families of functional programming languages including
- non-strict ones (e.g. Haskell) and strict ones (e.g. Scheme, SML or
- OCaml).
- </p>
- <p><a href="http://groups.google.com/groups?group=comp.lang.functional">Archives at Google Groups</a> | <a href="http://www.cs.nott.ac.uk/~gmh/faq.html">FAQ</a></p>
- </body>
-</html>
View
40 src/site/community/planet.md
@@ -1,32 +1,18 @@
-<html>
- <head>
- <meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
- <title>OCaml Planet</title>
- </head>
- <body>
+<!-- ((! set title OCaml Planet !)) ((! set community !)) -->
- <h1>OCaml Planet</h1>
+# OCaml Planet
+The OCaml Planet aggregates various blogs from the OCaml community. It
+is kindly provided by [OCamlCore](http://www.ocamlcore.com/). If you
+would like to be added, read the [Planet subscription
+HOWTO](http://www.ocamlcore.org/planet/).
- <p>The OCaml Planet aggregates various blogs from the OCaml
- community. It is kindly provided
- by <a href="http://www.ocamlcore.com/" >OCamlCore</a>. If you
- would like to be added, read
- the <a href="http://www.ocamlcore.org/planet/" >Planet
- subscription HOWTO</a>.</p>
+<br />
- <br/>
- <div class="span2 planet-subscriptions"
- style="float: right; margin-right: 0; margin-top: 0"
- ><em>Subscriptions</em>
- <div ml:replace="opml http://planet.ocaml.org/opml.xml" ></div>
+((! cmd curl http://planet.ocaml.org/rss20.xml | ./rss2html !))
+
+*Subscriptions*
+
+[<img src='../img/rss20.png' alt='' />](http://planet.ocaml.org/rss20.xml)
+[<img src='../img/opml.png' alt='' />](http://planet.ocaml.org/opml.xml)
- <a href="http://planet.ocaml.org/rss20.xml"
- ><img src="../img/rss20.png" /></a>
- <a href="http://planet.ocaml.org/opml.xml"
- ><img src="../img/opml.png" /></a>
- </div>
- <div class="planet"
- ml:content="rss http://planet.ocaml.org/rss20.xml" ></div>
- </body>
-</html>
View
143 src/site/community/support.fr.md
@@ -1,92 +1,77 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <meta content="IE=8" http-equiv="X-UA-Compatible">
- <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
- <title>Support</title>
- </head>
- <body>
+<!-- ((! set title Recevoir de l'aide et contribuer !)) ((! set community !)) -->
-<h1>Recevoir de l'aide et contribuer</h1>
+# Recevoir de l'aide et contribuer
+Le développement d'OCaml est dirigé par
+l'[Inria](http://caml.inria.fr/). La communauté des développeurs OCaml
+vous aidera volontiers sur la [liste de diffusion
+officielle](mailing_lists.html). Un support commercial est fourni par
+[OCamlPro](#ocamlpro).
-<p>Le développement d'OCaml est dirigé par
- l'<a href="http://caml.inria.fr/" >Inria</a>.
- La communauté des développeurs OCaml vous aidera volontiers sur
- la <a href="mailing_lists.html" >liste de diffusion officielle</a>.
- Un support commercial
- est fourni par <a href="#ocamlpro">OCamlPro</a>.
+## Le Consortium à l'Inria
+e Consortium OCaml fédère les efforts de conception et de développement
+du langage OCaml et de son environnement. Le Consortium permet à ses
+membres de montrer leur intérêt pour le langage OCaml et de soutenir son
+développement. Ils bénéficient de plus d'une [license
+spécifique](consortium/license.html).
-<h2>Le Consortium à l'Inria</h2>
+La cotisation annuelle des membres peut être ou bien très modeste
+(3000€) ou plus conséquente (10000€ ou plus) selon le niveau de soutien
+que le membre désire apporter. L'adhésion au Consortium OCaml est un
+acte important, non seulement pour le développement du langage et sa
+dissémination, mais aussi pour sa pérennité.
-<p>e Consortium OCaml fédère les efforts de conception et de
- développement du langage OCaml et de son environnement. Le Consortium
- permet à ses membres de montrer leur intérêt pour le langage OCaml et
- de soutenir son développement. Ils bénéficient de plus d'une
- <a href="consortium/license.html" >license
- spécifique</a>.</p>
+### Membres
-<p>La cotisation annuelle des membres peut être ou bien très modeste
- (3000€) ou plus conséquente (10000€ ou plus) selon le niveau
- de soutien que le membre désire apporter. L'adhésion au Consortium
- OCaml est un acte important, non seulement pour le développement du
- langage et sa dissémination, mais aussi pour sa pérennité.
-</p>
-<h3>Membres</h3>
-<p>
- <table class="logos">
- <tr>
- <td class="logo"><a href="http://www.cea.fr"><img src="img/cea.png" alt="CEA"/></a></td>
- <td class="logo"><a href="http://www.citrix.com"><img src="img/citrix.png" alt="Citrix"/></a></td>
- <td class="logo"><a href="http://www.dassault-aviation.com"><img src="img/dassault-aviation.png" alt="Dassault Aviation"/></a></td>
- </tr>
- <tr>
- <td class="logo"><a href="http://www.3ds.com"><img src="img/3ds.png" alt="Dassault System"/></a></td>
- <td class="logo"><a href="http://www.esterel-technologies.com"><img src="img/esterel.png" alt="Esterel Technologies"/></a></td>
- <td class="logo"><a href="http://www.janestreet.com"><img src="img/janestreet.png" alt="Jane Street"/></a></td>
- </tr>
- <tr>
- <td class="logo"><a href="http://www.lexifi.com"><img src="img/lexifi.png" alt="Lexifi"/></a></td>
- <td class="logo"><a href="http://www.microsoft.com"><img src="img/microsoft.png" alt="Microsoft"/></a></td>
- <td class="logo"><a href="http://www.mlstate.com"><img src="img/mlstate.png" alt="MLState"/></a></td>
- </tr>
- <tr>
- <td class="logo"><a href="http://www.mylife.com"><img src="img/mylife.png" alt="Mylife.com"/></a></td>
- <td class="logo"><a href="http://www.simcorp.com"><img src="img/simcorp.png" alt="SimCorp"/></a></td>
- <td class="logo"><a href="http://www.ocamlpro.com"><img src="img/ocamlpro.png" alt="OCamlPro" height="50" /></a></td>
- </tr>
- </table>
-</p>
+<table>
+<tbody>
+<tr class="odd">
+<td align="left"><a href="http://www.cea.fr"><img src="img/cea.png" alt="CEA" /></a></td>
+<td align="left"><a href="http://www.citrix.com"><img src="img/citrix.png" alt="Citrix" /></a></td>
+<td align="left"><a href="http://www.dassault-aviation.com"><img src="img/dassault-aviation.png" alt="Dassault Aviation" /></a></td>
+</tr>
+<tr class="even">
+<td align="left"><a href="http://www.3ds.com"><img src="img/3ds.png" alt="Dassault System" /></a></td>
+<td align="left"><a href="http://www.esterel-technologies.com"><img src="img/esterel.png" alt="Esterel Technologies" /></a></td>
+<td align="left"><a href="http://www.janestreet.com"><img src="img/janestreet.png" alt="Jane Street" /></a></td>
+</tr>
+<tr class="odd">
+<td align="left"><a href="http://www.lexifi.com"><img src="img/lexifi.png" alt="Lexifi" /></a></td>
+<td align="left"><a href="http://www.microsoft.com"><img src="img/microsoft.png" alt="Microsoft" /></a></td>
+<td align="left"><a href="http://www.mlstate.com"><img src="img/mlstate.png" alt="MLState" /></a></td>
+</tr>
+<tr class="even">
+<td align="left"><a href="http://www.mylife.com"><img src="img/mylife.png" alt="Mylife.com" /></a></td>
+<td align="left"><a href="http://www.simcorp.com"><img src="img/simcorp.png" alt="SimCorp" /></a></td>
+<td align="left"><a href="http://www.ocamlpro.com"><img src="img/ocamlpro.png" alt="OCamlPro" /></a></td>
+</tr>
+</tbody>
+</table>
-<h3>Comment adhérer ?</h3>
-<p>Pour vous permettre d'adhérer en toute connaissance de cause au
- Consortium OCaml, il vous est possible au préalable de consulter en
- ligne l'accord de partenariat et ses annexes, disponible au format
- <a href="http://caml.inria.fr/consortium/agreement.fr.pdf" >PDF</a>.
- Voir aussi la fiche
- d'<a href="http://caml.inria.fr/consortium/vat.fr.html" >informations
- concernant la TVA</a>.</p>
+### Comment adhérer ?
+Pour vous permettre d'adhérer en toute connaissance de cause au
+Consortium OCaml, il vous est possible au préalable de consulter en
+ligne l'accord de partenariat et ses annexes, disponible au format
+[PDF](http://caml.inria.fr/consortium/agreement.fr.pdf). Voir aussi la
+fiche d'[informations concernant la
+TVA](http://caml.inria.fr/consortium/vat.fr.html).
-<p>Si les clauses du Consortium vous agréent, vous pourrez alors
-compléter et envoyer le
- <a href="http://caml.inria.fr/consortium/form.fr.html" >formulaire
- d'adhésion</a> disponible en ligne. Cette demande sera examinée par un
- représentant habilité de l'Inria qui vous recontactera ensuite pour
- organiser la signature de l'accord en deux exemplaires.</p>
+Si les clauses du Consortium vous agréent, vous pourrez alors compléter
+et envoyer le [formulaire
+d&#39;adhésion](http://caml.inria.fr/consortium/form.fr.html) disponible en
+ligne. Cette demande sera examinée par un représentant habilité de
+l'Inria qui vous recontactera ensuite pour organiser la signature de
+l'accord en deux exemplaires.
-<p>Après signature par un représentant de votre entreprise/organisme
- et par un représentant habilité de l'Inria, une facture correspondant
- au montant de votre participation financière vous sera envoyée.</p>
+Après signature par un représentant de votre entreprise/organisme et par
+un représentant habilité de l'Inria, une facture correspondant au
+montant de votre participation financière vous sera envoyée.
+## Support commercial par OCamlPro
+Un support commercial est fourni par
+[OCamlPro](http://www.ocamlpro.com/). OCamlPro offre un éventail de
+services, du simple support au développement avancé en OCaml, des
+formation et de la consultance.
-<h2><a name="ocamlpro" ></a>Support commercial par OCamlPro</h2>
-<p>Un support commercial est fourni
- par <a href="http://www.ocamlpro.com/">OCamlPro</a>. OCamlPro offre
- un éventail de services, du simple support au développement avancé en
- OCaml, des formation et de la consultance.</p>
-
-</body>
-</html>
View
294 src/site/community/support.md
@@ -1,163 +1,137 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <meta content="IE=8" http-equiv="X-UA-Compatible">
- <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
- <title>Support</title>
- </head>
- <body>
-
-<h1>Commercial Support</h1>
-
-<h2><a name="getting-support"></a>Getting Support</h2>
-
-<p>A great way to get free support is by using the active <a href="mailing_lists.html">mailing lists</a>. When you need to go beyond this and get professional support, you have the following options:</p>
-
-<dl>
- <dt><a href="http://www.ocamlpro.com/">OCamlPro</a></dt>
- <dd>OCamlPro is an INRIA spin-off that provides professional support on
- OCaml for companies. OCamlPro is a team of highly skilled experienced
- OCaml programmers, including members of the OCaml core development team.
- OCamlPro contributes open-source software to the OCaml
- community, such as <a href="http://try.ocamlpro.com/">Try OCaml</a>
- and the <a href="http://opam.ocamlpro.com/">OPAM package manager</a>.
- For its customers, OCamlPro can develop specialized software components in
- OCaml, train developers on any OCaml related topic,
- and provide strong expertise to debug and optimize OCaml software and
- support on the OCaml distribution itself. OCamlPro is a member
- of the OCaml Consortium.
-</dd>
-
- <dt><a href="http://www.gerd-stolpmann.de/buero/work_ocaml_search.html.en">Gerd Stolpmann</a></dt>
- <dd>Gerd Stolpmann has been helping companies master OCaml since
- 2005. He is an expert of the ecosystem surrounding OCaml and
- developed the <a href="http://godi.camlcity.org/godi/">GODI</a>
- platform. Stolpmann is a computer scientist who has been a
- contractor for several long-running OCaml projects. He has a focus
- on big data (including data preparation, search/query engines,
- map/reduce), but his skills also cover Unix system programming, SQL
- databases, client/server, compiler development (e.g. for
- domain-specific languages), and much more. Also visit his <a
- href="http://camlcity.org">website on OCaml</a>.</dd>
-</dl>
-
-
-<h2><a name="giving-support"></a>Giving Support</h2>
-<h3><a id="consortium"></a>The OCaml Consortium at Inria</h3>
-
-<p>The OCaml Consortium federates the design and development of the
-OCaml language and its programming environment. The Consortium allow
-its members to demonstrate their interest in the OCaml language and
-express their support to its development. Moreover, they benefit of a
-<a href="consortium/license.html"
- >specific license</a>.</p>
-
-<p>To become a member necessitates a contribution that can be as low
- as 3000€ for a minimal support to OCaml. For more effective
- support, contributions can be of 10000€ or higher. Membership is
- important not only for the development of OCaml, its promotion and its
- dissemination, but also for its continuity.</p>
-
-<h4>Current Members</h4>
-<p>
- <table class="logos">
- <tr>
- <td class="logo"><a href="http://www.cea.fr"><img src="img/cea.png" alt="CEA"/></a></td>
- <td class="logo"><a href="http://www.citrix.com"><img src="img/citrix.png" alt="Citrix"/></a></td>
- <td class="logo"><a href="http://www.dassault-aviation.com"><img src="img/dassault-aviation.png" alt="Dassault Aviation"/></a></td>
- </tr>
- <tr>
- <td class="logo"><a href="http://www.3ds.com"><img src="img/3ds.png" alt="Dassault System"/></a></td>
- <td class="logo"><a href="http://www.esterel-technologies.com"><img src="img/esterel.png" alt="Esterel Technologies"/></a></td>
- <td class="logo"><a href="http://www.janestreet.com"><img src="img/janestreet.png" alt="Jane Street"/></a></td>
- </tr>
- <tr>
- <td class="logo"><a href="http://www.lexifi.com"><img src="img/lexifi.png" alt="Lexifi"/></a></td>
- <td class="logo"><a href="http://www.microsoft.com"><img src="img/microsoft.png" alt="Microsoft"/></a></td>
- <td class="logo"><a href="http://www.mlstate.com"><img src="img/mlstate.png" alt="MLState"/></a></td>
- </tr>
- <tr>
- <td class="logo"><a href="http://www.mylife.com"><img src="img/mylife.png" alt="Mylife.com"/></a></td>
- <td class="logo"><a href="http://www.simcorp.com"><img src="img/simcorp.png" alt="SimCorp"/></a></td>
- <td class="logo"><a href="http://www.ocamlpro.com"><img src="img/ocamlpro.png" alt="OCamlPro" height="50" /></a></td>
- </tr>
- </table>
-</p>
-
-<h4>How to become a member?</h4>
-
-<p>In order to fully understand the Consortium membership, it is
-advised to read the OCaml Consortium membership agreement and its
-appendices, which is online as
- <a href="http://caml.inria.fr/consortium/agreement.en.pdf"
- >PDF</a>. Extra information about VAT are given in
- this <a href="http://caml.inria.fr/consortium/vat.en.html"
- >information sheet</a>.</p>
-
-<p>If you agree with the Consortium clauses, you will then be able to
- fill in and send
- this <a href="http://caml.inria.fr/consortium/form.en.html"
- >adhesion form</a>. Your request will be examined by an Inria
- representative, who will then officially send two copies of the
- agreement for signature.</p>
-
-<p>Once the agreement is signed by a representative of your
- company/institution and by a representative of Inria, an invoice will
- be sent to you. </p>
-
-
-
-<h3>OCaml Labs</h3>
-
-<p>The goal of <a
-href="http://www.cl.cam.ac.uk/projects/ocamllabs">OCaml Labs</a> is to
-push OCaml and functional programming forward as a platform, making it
-a more effective tool for all users, including significant industrial
+<!-- ((! set title Commercial Support !)) ((! set community !)) -->
+
+# Commercial Support
+## Getting Support
+A great way to get free support is by using the active [mailing
+lists](mailing_lists.html). When you need to go beyond this and get
+professional support, you have the following options:
+
+[OCamlPro](http://www.ocamlpro.com/)<br />
+OCamlPro is an INRIA spin-off that provides professional support on
+OCaml for companies. OCamlPro is a team of highly skilled experienced
+OCaml programmers, including members of the OCaml core development team.
+OCamlPro contributes open-source software to the OCaml community, such
+as [Try OCaml](http://try.ocamlpro.com/) and the [OPAM package
+manager](http://opam.ocamlpro.com/). For its customers, OCamlPro can
+develop specialized software components in OCaml, train developers on
+any OCaml related topic, and provide strong expertise to debug and
+optimize OCaml software and support on the OCaml distribution itself.
+OCamlPro is a member of the OCaml Consortium.
+
+[Gerd Stolpmann](http://www.gerd-stolpmann.de/buero/work_ocaml_search.html.en)<br />
+Gerd Stolpmann has been helping companies master OCaml since 2005. He is
+an expert of the ecosystem surrounding OCaml and developed the
+[GODI](http://godi.camlcity.org/godi/) platform. Stolpmann is a computer
+scientist who has been a contractor for several long-running OCaml
+projects. He has a focus on big data (including data preparation,
+search/query engines, map/reduce), but his skills also cover Unix system
+programming, SQL databases, client/server, compiler development (e.g.
+for domain-specific languages), and much more. Also visit his [website
+on OCaml](http://camlcity.org).
+
+## Giving Support
+### The OCaml Consortium at Inria
+The OCaml Consortium federates the design and development of the OCaml
+language and its programming environment. The Consortium allow its
+members to demonstrate their interest in the OCaml language and express
+their support to its development. Moreover, they benefit of a [specific
+license](consortium/license.html).
+
+To become a member necessitates a contribution that can be as low as
+3000€ for a minimal support to OCaml. For more effective support,
+contributions can be of 10000€ or higher. Membership is important not
+only for the development of OCaml, its promotion and its dissemination,
+but also for its continuity.
+
+#### Current Members
+
+
+<table>
+<tbody>
+<tr class="odd">
+<td align="left"><a href="http://www.cea.fr"><img src="img/cea.png" alt="CEA" /></a></td>
+<td align="left"><a href="http://www.citrix.com"><img src="img/citrix.png" alt="Citrix" /></a></td>
+<td align="left"><a href="http://www.dassault-aviation.com"><img src="img/dassault-aviation.png" alt="Dassault Aviation" /></a></td>
+</tr>
+<tr class="even">
+<td align="left"><a href="http://www.3ds.com"><img src="img/3ds.png" alt="Dassault System" /></a></td>
+<td align="left"><a href="http://www.esterel-technologies.com"><img src="img/esterel.png" alt="Esterel Technologies" /></a></td>
+<td align="left"><a href="http://www.janestreet.com"><img src="img/janestreet.png" alt="Jane Street" /></a></td>
+</tr>
+<tr class="odd">
+<td align="left"><a href="http://www.lexifi.com"><img src="img/lexifi.png" alt="Lexifi" /></a></td>
+<td align="left"><a href="http://www.microsoft.com"><img src="img/microsoft.png" alt="Microsoft" /></a></td>
+<td align="left"><a href="http://www.mlstate.com"><img src="img/mlstate.png" alt="MLState" /></a></td>
+</tr>
+<tr class="even">
+<td align="left"><a href="http://www.mylife.com"><img src="img/mylife.png" alt="Mylife.com" /></a></td>
+<td align="left"><a href="http://www.simcorp.com"><img src="img/simcorp.png" alt="SimCorp" /></a></td>
+<td align="left"><a href="http://www.ocamlpro.com"><img src="img/ocamlpro.png" alt="OCamlPro" /></a></td>
+</tr>
+</tbody>
+</table>
+
+
+#### How to become a member?
+In order to fully understand the Consortium membership, it is advised to
+read the OCaml Consortium membership agreement and its appendices, which
+is online as [PDF](http://caml.inria.fr/consortium/agreement.en.pdf).
+Extra information about VAT are given in this [information
+sheet](http://caml.inria.fr/consortium/vat.en.html).
+
+If you agree with the Consortium clauses, you will then be able to fill
+in and send this [adhesion
+form](http://caml.inria.fr/consortium/form.en.html). Your request will
+be examined by an Inria representative, who will then officially send
+two copies of the agreement for signature.
+
+Once the agreement is signed by a representative of your
+company/institution and by a representative of Inria, an invoice will be
+sent to you.
+
+### OCaml Labs
+The goal of [OCaml Labs](http://www.cl.cam.ac.uk/projects/ocamllabs) is
+to push OCaml and functional programming forward as a platform, making
+it a more effective tool for all users, including significant industrial
users, while at the same time growing the appeal of the language,
-broadening its applicability and popularity. This will be achieved by
-a combination of technological advancements, creation of community
+broadening its applicability and popularity. This will be achieved by a
+combination of technological advancements, creation of community
infrastructure, and public communications. A core principle of OCaml
Labs is that all the work will be freely released under open-source
-licenses, and efforts made to integrate work upstream (e.g to INRIA,
-who originally developed and have maintained OCaml since its release
-in 1996).</p>
-
-<p>You can support OCaml via a charitible donation to OCaml Labs,
-which is a project within the <a
-href="http://www.cl.cam.ac.uk/">Faculty of Computer Science</a> at the
-University of Cambridge. Cambridge is a registered Charity and
-donations are often a tax-efficient and effective way to help expand
-your organisation's use of functional programming and ensure the
-long-term future of OCaml. If you'd like to discuss making a donation,
-please contact <a href="mailto:anil@recoil.org?subject=Donating&nbsp;to&nbsp;
-OCaml&nbsp;Labs"> Anil Madhavapeddy</a> for more information.</p>
-
-<h4>Current Funding</h4>
-
-<p>OCaml Labs is primarily funded by <a
-href="http://janestreet.com">Jane Street</a> with a platform grant for
-the first three years. It is also supported by <a
-href="http://www.xen.org/products/cloudxen.html">Citrix Systems
-R&amp;D</a>. There are also several research grants associated with
-OCamlLabs:</p>
-
-<ul>
- <li>RCUK <a href="http://www.horizon.ac.uk">Horizon Digital Economy
- Research</a> Hub grant, <a class="icon-external"
- href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/G065802/1">EP/G065802/1</a>.</li>
-
- <li>EU FP7 <a href="http://trilogy2.eu">Trilogy2</a> project.</li>
-</ul>
-
-<p>
- <table class="logos">
- <tr>
- <td class="logo"><a href="http://janestreet.com/"><img src="http://www.cl.cam.ac.uk/projects/ocamllabs/images/janest.jpg" alt="Jane Street"/></a></td>
- <td class="logo"><a href="http://www.xen.org/products/cloudxen.html"><img src="http://www.cl.cam.ac.uk/projects/ocamllabs/images/citrix.gif" alt="Citrix"/></a></td>
- </tr>
- </table>
-</p>
-
-</body>
-</html>
+licenses, and efforts made to integrate work upstream (e.g to INRIA, who
+originally developed and have maintained OCaml since its release in
+1996).
+
+You can support OCaml via a charitible donation to OCaml Labs, which is
+a project within the [Faculty of Computer
+Science](http://www.cl.cam.ac.uk/) at the University of Cambridge.
+Cambridge is a registered Charity and donations are often a
+tax-efficient and effective way to help expand your organisation's use
+of functional programming and ensure the long-term future of OCaml. If
+you'd like to discuss making a donation, please contact [Anil
+Madhavapeddy](mailto:anil@recoil.org?subject=Donating%A0to%A0%0AOCaml%A0Labs)
+for more information.
+
+#### Current Funding
+OCaml Labs is primarily funded by [Jane Street](http://janestreet.com)
+with a platform grant for the first three years. It is also supported by
+[Citrix Systems R&amp;D](http://www.xen.org/products/cloudxen.html). There
+are also several research grants associated with OCamlLabs:
+
+* RCUK [Horizon Digital Economy Research](http://www.horizon.ac.uk)
+ Hub grant,
+ [EP/G065802/1](http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/G065802/1).
+* EU FP7 [Trilogy2](http://trilogy2.eu) project.
+
+
+
+<table>
+<tbody>
+<tr class="odd">
+<td align="left"><a href="http://janestreet.com/"><img src="http://www.cl.cam.ac.uk/projects/ocamllabs/images/janest.jpg" alt="Jane Street" /></a></td>
+<td align="left"><a href="http://www.xen.org/products/cloudxen.html"><img src="http://www.cl.cam.ac.uk/projects/ocamllabs/images/citrix.gif" alt="Citrix" /></a></td>
+</tr>
+</tbody>
+</table>
+
+
View
83 src/site/docs/cheat_sheets.md
@@ -1,44 +1,39 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <meta content="IE=8" http-equiv="X-UA-Compatible">
- <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
- <title>Cheat Sheets</title>
- </head>
- <body>
-
-<h1>Cheat Sheets</h1>
-
-<p><a href="http://www.ocamlpro.com/">OCamlPro</a> has published cheat
-sheets (one or two-pages summaries) on OCaml:</p>
-
-<ul>
- <li>
- <a href="http://www.ocamlpro.com/files/ocaml-lang.pdf">The OCaml Language</a> (Pdf, June 2011)<br />
- <p>
- General overview of the OCaml language: basic data types, basic concepts, functions, modules, etc.
- </p>
- </li>
- <li>
- <a href="http://www.ocamlpro.com/files/ocaml-tools.pdf">OCaml Standard Tools</a> (Pdf, June 2011)<br />
- <p>
- Overview of OCaml compilers and their options, tools for lexing and parsing, Makefile rules, etc.
- </p>
- </li>
- <li>
- <a href="http://www.ocamlpro.com/files/ocaml-stdlib.pdf">OCaml Standard Library</a> (Pdf, June 2011)<br />
- <p>
- Overview of the standard library most common modules.
- </p>
- </li>
- <li>
- <a href="http://www.ocamlpro.com/files/tuareg-mode.pdf">OCaml Emacs Mode (Tuareg)</a> (Pdf, June 2011)<br />
- <p>
- Overview of the Emacs Tuareg mode keyboard shortcuts.
- </p>
- </li>
-</ul>
-
-</body>
-</html>
+<!-- ((! set title Cheat Sheets !)) ((! set documentation !)) -->
+
+# Cheat Sheets
+[OCamlPro](http://www.ocamlpro.com/) has published cheat sheets (one or
+two-pages summaries) on OCaml:
+
+* [The OCaml Language](http://www.ocamlpro.com/files/ocaml-lang.pdf)
+ (Pdf, June 2011)<br />
+
+General overview of the OCaml language: basic data types, basic
+concepts, functions, modules, etc.
+
+
+
+* [OCaml Standard
+ Tools](http://www.ocamlpro.com/files/ocaml-tools.pdf) (Pdf, June
+ 2011)<br />
+
+Overview of OCaml compilers and their options, tools for lexing and
+parsing, Makefile rules, etc.
+
+
+
+* [OCaml Standard
+ Library](http://www.ocamlpro.com/files/ocaml-stdlib.pdf) (Pdf, June
+ 2011)<br />
+
+Overview of the standard library most common modules.
+
+
+
+* [OCaml Emacs Mode
+ (Tuareg)](http://www.ocamlpro.com/files/tuareg-mode.pdf) (Pdf, June
+ 2011)<br />
+
+Overview of the Emacs Tuareg mode keyboard shortcuts.
+
+
+
View
21 src/site/docs/consortium-license.md
@@ -1,15 +1,8 @@
-<?xml version="1.0"?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
-"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!-- ((! set title The OCaml License for Consortium Members !)) ((! set documentation !)) -->
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
- <title>License for Consortium Members</title>
- </head>
- <body>
- <h1>The OCaml License for Consortium Members</h1>
- <pre xml:space="preserve">
+# The OCaml License for Consortium Members
+
+```text
Copyright (c) 1996, 1997, 1998, 1999, 2000, 2001, 2002, INRIA
Permission is hereby granted, free of charge, to the Licensee
@@ -46,6 +39,6 @@ BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- </pre>
- </body>
-</html>
+
+
+```
View
42 src/site/docs/install.fr.md
@@ -1,37 +1,17 @@
-<?xml version="1.0"?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
-"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!-- ((! set title Installer OCaml !)) ((! set documentation !)) -->
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
- <title>Installer OCaml</title>
- </head>
- <body>
+# Installer OCaml
- <h1>Installer OCaml</h1>
+**Licence**<br />
+ Le système OCaml est un logiciel libre: le compilateur est distribué
+sous les termes de la *Q Public License*, et sa librairie sous ceux de
+la *LGPL*; reportez-vous au texte de la [license](license.html) pour
+plus de détails. De plus, une license de type BSD est automatiquement
+accordée aux membres du [OCaml Consortium](support.html#consortium).
- <div class="pull-right hero-unit" style="margin-left: 1em" >
- <span class="span3">
- <strong>Licence</strong> <br />
+La version la plus récente est **OCaml 4.00.1**, publiée le 05/10/2012.
+Elle peut être installée facilement de plusieurs façons.
- Le système OCaml est un logiciel libre: le compilateur est
- distribué sous les termes de la <i>Q Public License</i>, et sa
- librairie sous ceux de la <i>LGPL</i>; reportez-vous au texte
- de la <a href="license.html"
- >license</a> pour plus de détails. De plus, une
- license de type BSD est automatiquement accordée aux membres
- du
- <a href="support.html#consortium">OCaml
- Consortium</a>.
- </span>
- </div>
+Voir la page anglaise pour la suite.
- <p>La version la plus récente est <b>OCaml 4.00.1</b>, publiée le
- 05/10/2012. Elle peut être installée facilement de plusieurs
- façons. </p>
- <p>Voir la page anglaise pour la suite.</p>
-
- </body>
-</html>
View
1,261 src/site/docs/install.md
@@ -1,130 +1,83 @@
-<?xml version="1.0"?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
-"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
- <title>Install</title>
- </head>
- <body>
-
- <h1>Install OCaml</h1>
-
-
- <p>The most recent version is <a href="releases/">OCaml 4.00.1</a>, released on
- 2012-10-05. It can be easily installed in several ways. Broadly,
- the options are:</p>
-
- <ul>
- <li>use a package manager supported by your platform (Windows,
- Linux, Mac OS X,...);</li>
-
- <li>or use a package manager specific to OCaml (GODI, OPAM, ...);</li>
-
- <li>or install from source code.</li>
- </ul>
-
- <p>The different options are detailed below. Most of these tools
- allow you to download and install OCaml libraries. You can also
- find more packages <a href="libraries.html">here</a>.</p>
- <br />
-
- <ul class="nav nav-tabs" style="clear: both;">
- <li class="dropdown">
- <a href="#" class="dropdown-toggle" data-toggle="dropdown">
- By Platform
- <b class="caret"></b>
- </a>
- <ul class="dropdown-menu">
- <li><a href="#debian" data-toggle="tab">Debian</a></li>
- <li><a href="#fedora" data-toggle="tab">Fedora</a></li>
- <li><a href="#freebsd" data-toggle="tab">FreeBSD</a></li>
- <li><a href="#gentoo" data-toggle="tab">Gentoo</a></li>
- <li><a href="#macosx" data-toggle="tab">Mac OS X</a></li>
- <li><a href="#suse" data-toggle="tab">SuSE</a></li>
- <li><a href="#ubuntu" data-toggle="tab">Ubuntu</a></li>
- <li><a href="#mageia" data-toggle="tab">Mageia</a></li>
- <li><a href="#windows" data-toggle="tab">Windows</a></li>
- </ul>
- </li>
- <li class="dropdown">
- <a href="#" class="dropdown-toggle" data-toggle="dropdown">
- By Package Manager
- <b class="caret"></b>
- </a>
- <ul class="dropdown-menu">
- <li><a href="#godi" data-toggle="tab">GODI</a></li>
- <li><a href="#opam" data-toggle="tab">OPAM</a></li>
-<!-- <li><a href="#oasis-db" data-toggle="tab">Oasis-DB</a></li>
- <li><a href="#odb" data-toggle="tab">ODB</a></li>
- <li><a href="#ocamlbrew" data-toggle="tab">ocamlbrew</a></li> -->
- </ul>
- </li>
- <li class="dropdown active">
- <a href="#" class="dropdown-toggle" data-toggle="dropdown">
- From Source
- <b class="caret"></b>
- </a>
- <ul class="dropdown-menu">
-<!-- <li><a href="#releases" data-toggle="tab">Official Releases</a></li> -->
- <li><a href="#devel" data-toggle="tab">Development Version</a></li>
- </ul>
- </li>
- </ul>
-
- <div class="tab-content">
- <div class="tab-pane" id="godi">
- <h2>GODI</h2>
-
- <p>GODI is an independent distribution of OCaml and add-on
- software (covering both libraries and applications), running
- on multiple operating systems (Linux, MacOSX, Windows, and
- other). GODI compiles software from source, and allows it to
- adapt it to one's needs, using configuration options and even
- patches. GODI also supports binary releases as a user
- option.</p>
-
- <p>To get started, go to the <a href=
- "http://godi.camlcity.org">GODI website</a>, click "Get GODI",
- download the tarball, and follow the instructions in the
- README.</p>
-
- <p>For the impatient, do the following</p>
-<pre>
+<!-- ((! set title Install OCaml !)) ((! set documentation !)) -->
+
+# Install OCaml
+The most recent version is [OCaml 4.00.1](releases/), released on
+2012-10-05. It can be easily installed in several ways. Broadly, the
+options are:
+
+* use a package manager supported by your platform (Windows, Linux,
+ Mac OS X,...);
+* or use a package manager specific to OCaml (GODI, OPAM, ...);
+* or install from source code.
+
+The different options are detailed below. Most of these tools allow you
+to download and install OCaml libraries. You can also find more packages
+[here](libraries.html).
+
+<br />
+
+* [By Platform ****](#)
+ * [Debian](#debian)
+ * [Fedora](#fedora)
+ * [FreeBSD](#freebsd)
+ * [Gentoo](#gentoo)
+ * [Mac OS X](#macosx)
+ * [SuSE](#suse)
+ * [Ubuntu](#ubuntu)
+ * [Mageia](#mageia)
+ * [Windows](#windows)
+
+* [By Package Manager ****](#)
+ * [GODI](#godi)
+ * [OPAM](#opam)
+
+* [From Source ****](#)
+ * [Development Version](#devel)
+
+## GODI
+GODI is an independent distribution of OCaml and add-on software
+(covering both libraries and applications), running on multiple
+operating systems (Linux, MacOSX, Windows, and other). GODI compiles
+software from source, and allows it to adapt it to one's needs, using
+configuration options and even patches. GODI also supports binary
+releases as a user option.
+
+To get started, go to the [GODI website](http://godi.camlcity.org),
+click "Get GODI", download the tarball, and follow the instructions in
+the README.
+
+For the impatient, do the following
+
+```tryocaml
wget http://download.camlcity.org/download/godi-rocketboost-20110811.tar.gz
tar xzvf http://download.camlcity.org/download/godi-rocketboost-20110811.tar.gz
cd godi-rocketboost-20110811
./bootstrap
-</pre>
+```
+You may need to use the `--prefix` option to the bootstrap command if
+you need to change the default installation location.
- <p>You may need to use the <code>--prefix</code> option to the
- bootstrap command if you need to change the default
- installation location.</p>
- </div><!-- godi -->
+## OPAM
+OPAM is a package manager for OCaml, based on the CUDF library
+developped by the Mancoosi project, which is, among other things, used
+by Debian to manage their packages. It works well on Unix, Linux, and
+Mac OS X systems. Windows support is comming soon.
- <div class="tab-pane" id="opam">
- <h2>OPAM</h2>
+To get started, go to the [OPAM website](http://opam.ocamlpro.com/),
+click "Try OPAM" and follow the instructions.
- <p>OPAM is a package manager for OCaml, based on the CUDF library
- developped by the Mancoosi project, which is, among other things,
- used by Debian to manage their packages.
- It works well on Unix, Linux,
- and Mac OS X systems. Windows support is comming soon.</p>
+For the impatient, do the following
- <p>To get started, go to the <a href=
- "http://opam.ocamlpro.com/">OPAM website</a>, click "Try OPAM"
- and follow the instructions.</p>
+Quick install:
- <p>For the impatient, do the following</p>
- Quick install:
- <pre>
+```tryocaml
$ wget http://www.ocamlpro.com/pub/opam_installer.sh
$ sh ./opam_installer.sh /usr/local/bin # You can change the path to install it in an other place.
- </pre>
+
+```
+From source:
- From source:
- <pre>
+```tryocaml
$ git clone https://github.com/OCamlPro/opam
$ cd opam
$ ./configure # (or ./configure --prefix=$HOME if you want to install under your $HOME)
@@ -133,507 +86,384 @@ cd godi-rocketboost-20110811
$ opam init
$ eval `opam config -env`
$ opam switch 4.00.1
- </pre>
- </div><!-- opam -->
-
- <div class="tab-pane" id="debian">
- <h2>Debian</h2>
-
- <p>OCaml is very easy to install under <a href=
- "http://www.debian.org">Debian</a>. We recommend you install
- <code>ocaml-nox</code> to develop applications not needing the
- graphics library or <code>ocaml</code> if you need the <a
- href=
- "http://caml.inria.fr/pub/docs/manual-ocaml/libref/Graphics.html"><code> Graphics</code></a> module. We
- also recommend you install</p>
-
- <ul>
- <li><code>ocaml-native-compilers</code> to be able to
- compile your program the native code (this is not available
- on some more obscure architectures).</li>
- <li><code>ocaml-doc</code> to have the reference
- manual.</li>
- <li><code>tuareg-mode</code>, a Emacs mode for OCaml.</li>
- <li><code>ocaml-findlib</code> and <code>oasis</code> to
- install and use libraries (and their dependencies)
- easily.</li>
- <li><code>libpcre-ocaml-dev</code> which is a binding to
- PCRE.</li>
-
- </ul>
-
- <p>Check the <a
- href="http://packages.debian.org/search?keywords=ocaml&amp;searchon=all&amp;suite=testing&amp;section=all"
- > packages available in Debian</a>.</p>
- </div><!-- debian -->
-
- <div class="tab-pane" id="ubuntu">
- <h2>Ubuntu</h2>
-
- <p><a href="http://www.ubuntu.com/">Ubuntu</a> being a
- derivative of Debian, it inherits its ease of install
- of <a href=
- "http://packages.ubuntu.com/search?keywords=ocaml">OCaml
- packages</a>. The same recommendations as for Debian hold.</p>
- </div><!-- ubuntu -->
-
- <div class="tab-pane" id="fedora">
- <h2>Fedora</h2>
-
- <p>Since <a href="http://fedoraproject.org/">Fedora 8</a>,
- Fedora has excellent support for OCaml in the basic
- distribution. There is an active group of maintainers who keep
- up to date with the latest OCaml, and there is a wide range of
- packages available.</p>
-
- <p>To install the OCaml compiler just do:</p>
- <pre>
- yum install ocaml</pre>
-
- <p>To install an OCaml library called '<code>foo</code>', and any
- dependencies it needs, you would do:</p>
- <pre>
- yum install ocaml-foo-devel</pre>
-
- <p>A good set of basic development libraries can be installed by
- doing:</p>
- <pre>
+
+```
+## Debian
+OCaml is very easy to install under [Debian](http://www.debian.org). We
+recommend you install `ocaml-nox` to develop applications not needing
+the graphics library or `ocaml` if you need the
+[<code> Graphics</code>](http://caml.inria.fr/pub/docs/manual-ocaml/libref/Graphics.html)
+module. We also recommend you install
+
+* `ocaml-native-compilers` to be able to compile your program the
+ native code (this is not available on some more obscure
+ architectures).
+* `ocaml-doc` to have the reference manual.
+* `tuareg-mode`, a Emacs mode for OCaml.
+* `ocaml-findlib` and `oasis` to install and use libraries (and their
+ dependencies) easily.
+* `libpcre-ocaml-dev` which is a binding to PCRE.
+
+Check the [packages available in
+Debian](http://packages.debian.org/search?keywords=ocaml&searchon=all&suite=testing&section=all).
+
+## Ubuntu
+[Ubuntu](http://www.ubuntu.com/) being a derivative of Debian, it
+inherits its ease of install of [OCaml
+packages](http://packages.ubuntu.com/search?keywords=ocaml). The same
+recommendations as for Debian hold.
+
+## Fedora
+Since [Fedora 8](http://fedoraproject.org/), Fedora has excellent
+support for OCaml in the basic distribution. There is an active group of
+maintainers who keep up to date with the latest OCaml, and there is a
+wide range of packages available.
+
+To install the OCaml compiler just do:
+
+```tryocaml
+ yum install ocaml
+```
+To install an OCaml library called '`foo`', and any dependencies it
+needs, you would do:
+
+```tryocaml
+ yum install ocaml-foo-devel
+```
+A good set of basic development libraries can be installed by doing:
+
+```tryocaml
yum install ocaml-camlp4-devel ocaml-ocamldoc ocaml-findlib-devel \
- ocaml-extlib-devel ocaml-calendar-devel</pre>
-
- To list all OCaml packages use:
- <pre>
- yum search ocaml</pre>
-
- <p><strong>Packaging policy and mailing lists</strong></p>
-
- <ul>
- <li><a
- href="http://fedoraproject.org/wiki/Packaging/OCaml">OCaml
- packaging policy</a> in Fedora. All Fedora OCaml packages
- have to obey this policy, ensuring a minimum standard for
- all OCaml packages we ship.</li>
-
- <li><a href="http://fedoraproject.org/wiki/SIGs/OCaml">OCaml
- Special Interest Group</a>.</li>
-
- <li><a href="https://www.redhat.com/mailman/listinfo/fedora-ocaml-list"
- >fedora-ocaml-list</a>:
- mailing list for people interested in OCaml on Fedora or Red Hat
- Enterprise Linux.</li>
- </ul>
- </div><!-- fedora -->
-
- <div class="tab-pane" id="freebsd">
- <h2>FreeBSD</h2>
-
- <p><a href="http://www.freebsd.org/">FreeBSD</a> had a great
- support for OCaml development for a long time. There are
- easy to use packages available for most popular platforms
- (i386, amd64, powerpc, sparc64) for both the core languages
- and supplimentary libraries, documentation, examples and
- development tools. There is a framework available to make
- adding new ocaml application and libraries easy.</p>
-
- <p>To install the OCaml compiler using packages do:</p>
- <pre>
- pkg_add -r ocaml</pre>
- or
- <pre>
- pkg_add -r ocaml-nox11</pre>
- to install OCaml without X11-dependent libraries (e.g. to deploy
- on a headless server).
-
- <p>To install the developer documentation, examples and emacs
- editing macros use the <code>ocaml-doc</code>, <code>ocaml-examples</code>
- and <code>ocaml-mode.el</code> packages.</p>
-
- <p>The same packages can be installed via the port system. There is a
- a large set of libraries available in the <code>devel</code> category
- of the ports system as well as in the specific topic-related categories.</p>
- </div><!-- freebsd -->
-
- <div class="tab-pane" id="gentoo">
- <h2>Gentoo</h2>
-
- <p>In order to get the basic tools under <a href=
- "http://gentoo-portage.com/dev-ml/">Gentoo</a>, execute:</p>
- <pre>
- emerge ocaml </pre>
-
- <p>while being logged in as a user that is a member of the
- <code>portage</code> group (e.g.&nbsp;root). If you want to see
- what other related packages are available execute</p>
- <pre>
- emerge -S ocaml </pre>
- </div><!-- gentoo -->
-
- <div class="tab-pane" id="suse">
- <h2>SuSE</h2>
-
- <p>Getting Started with OCaml on <a href=
- "http://www.suse.com/">SuSE</a> is part in the standard
- distribution. In openSuse&nbsp;12.1, the package name is
- <code>ocaml-3.12.0-11.1.2</code> (outdated).</p>
- </div><!-- suse -->
-
- <div id="mageia" class="tab-pane">
- <h2>Mageia</h2>
-
- <p><a href="http://www.mageia.org/">Mageia</a> has some support
- for OCaml in the distribution.</p>
-
- <p>To install the OCaml compilers just do:</p>
- <pre>
- urpmi ocaml-compiler</pre>
-
- <p>ocaml-compiler has no dependency on X11 libs,
- to install the libs that have some
- (for example the module Graphics):</p>
- <pre>
- urpmi ocaml-x11</pre>
-
- <p>To install camlp4:</p>
- <pre>
- urpmi camlp4</pre>
-
- <p>To install an OCaml library called '<code>foo</code>', and any
- dependencies it needs, you would do:</p>
- <pre>
- urpmi ocaml-foo-devel</pre>
-
- <p>A good set of basic development libraries can be installed by
- doing:</p>
- <pre>
+ ocaml-extlib-devel ocaml-calendar-devel
+```
+To list all OCaml packages use:
+
+```tryocaml
+ yum search ocaml
+```
+**Packaging policy and mailing lists**
+
+* [OCaml packaging
+ policy](http://fedoraproject.org/wiki/Packaging/OCaml) in Fedora.
+ All Fedora OCaml packages have to obey this policy, ensuring a
+ minimum standard for all OCaml packages we ship.
+* [OCaml Special Interest
+ Group](http://fedoraproject.org/wiki/SIGs/OCaml).
+* [fedora-ocaml-list](https://www.redhat.com/mailman/listinfo/fedora-ocaml-list):
+ mailing list for people interested in OCaml on Fedora or Red Hat
+ Enterprise Linux.
+
+## FreeBSD
+[FreeBSD](http://www.freebsd.org/) had a great support for OCaml
+development for a long time. There are easy to use packages available
+for most popular platforms (i386, amd64, powerpc, sparc64) for both the
+core languages and supplimentary libraries, documentation, examples and
+development tools. There is a framework available to make adding new
+ocaml application and libraries easy.
+
+To install the OCaml compiler using packages do:
+
+```tryocaml
+ pkg_add -r ocaml
+```
+or
+
+```tryocaml
+ pkg_add -r ocaml-nox11
+```
+to install OCaml without X11-dependent libraries (e.g. to deploy on a
+headless server).
+
+To install the developer documentation, examples and emacs editing
+macros use the `ocaml-doc`, `ocaml-examples` and `ocaml-mode.el`
+packages.
+
+The same packages can be installed via the port system. There is a a
+large set of libraries available in the `devel` category of the ports
+system as well as in the specific topic-related categories.
+
+## Gentoo
+In order to get the basic tools under
+[Gentoo](http://gentoo-portage.com/dev-ml/), execute:
+
+```tryocaml
+ emerge ocaml
+```
+while being logged in as a user that is a member of the `portage` group
+(e.g. root). If you want to see what other related packages are
+available execute
+
+```tryocaml
+ emerge -S ocaml
+```
+## SuSE
+Getting Started with OCaml on [SuSE](http://www.suse.com/) is part in
+the standard distribution. In openSuse 12.1, the package name is
+`ocaml-3.12.0-11.1.2` (outdated).
+
+## Mageia
+[Mageia](http://www.mageia.org/) has some support for OCaml in the
+distribution.
+
+To install the OCaml compilers just do:
+
+```tryocaml
+ urpmi ocaml-compiler
+```
+ocaml-compiler has no dependency on X11 libs, to install the libs that
+have some (for example the module Graphics):
+
+```tryocaml
+ urpmi ocaml-x11
+```
+To install camlp4:
+
+```tryocaml
+ urpmi camlp4
+```
+To install an OCaml library called '`foo`', and any dependencies it
+needs, you would do:
+
+```tryocaml
+ urpmi ocaml-foo-devel
+```
+A good set of basic development libraries can be installed by doing:
+
+```tryocaml
urpmi camlp4-devel ocaml-doc ocaml-findlib-devel \
ocaml-extlib-devel ocaml-extlib-doc ocaml-batteries-devel \
ocaml-ounit-devel ocaml-sexplib-devel ocaml-xml-light-devel \
- ocamlmakefile</pre>
-
- To list OCaml packages use:
- <pre>
- urpmq --list | grep ocaml</pre>
-
- <p><strong>Packaging policy</strong></p>
-
- <ul>
- <li><a href="https://wiki.mageia.org/en/OCaml_policy"
- >OCaml packaging policy</a> in Mageia. All Mageia OCaml packages
- have to obey this policy, ensuring a minimum standard for
- all OCaml packages we ship.</li>
- </ul>
- </div><!-- mageia -->
-
- <div class="tab-pane" id="windows">
- <h2>Windows</h2>
-
- <p>Four ports of OCaml for Microsoft Windows are currently
- available. For additional information, please consult the list
- of <a href=
- "portability.html">portability
- issues</a> or the <a href=
- "http://caml.inria.fr/pub/distrib/ocaml-4.00/notes/README.win32">Windows
- release notes</a>.</p>
-
- <ul>
- <li><a
- href="http://protz.github.com/ocaml-installer/">Cygwin-based
- native Win32 port (4.00.1)</a>. A self installer. The
- interactive loop comes with a simple graphical user
- interface. Some features require the Cygwin environment,
- which the installer can fetch for you. However, the
- compilers are, and generate true Win32 executables, which do
- not require Cygwin to run.</li>
-
- <li>Microsoft-based native Win32 port. No binary
- distribution available yet; download the source distribution
- and compile it.</li>
-
- <li><a href="http://cygwin.com/"
- shape="rect">Cygwin</a>-based port. Requires Cygwin. No
- graphical user interface is provided. The compilers generate
- executables that do require Cygwin. The precompiled binaries
- are part of the Cygwin distribution; you can install them
- using the Cygwin <code>setup</code> tool. Alternatively,
- download the source distribution and compile it under
- Cygwin.</li>
-
- <li>Microsoft-based native Win64 port Same features as the
- Microsoft-based native Win32 port, but generates 64-bit
- code. No binary distribution available yet; download the
- source distribution and compile it.</li>
- </ul>
-
- <p>To install libraries, you may
- use <a href="http://wodi.forge.ocamlcore.org/" >Godi for
- Windows or OPAM (see the <em>By Package Manager</em> tab).</a>
- </div><!-- windows -->
-
- <div class="tab-pane" id="macosx">
- <h2>Mac OS X</h2>
-
- <p>Under Mac OS X, there are, at least for the base package,
- five different ways to go: Install the binary package from
- Inria; Install via Fink; Install via MacPorts; Build via <a
- href= "#godi">GODI</a>; or build it manually from sources. For
- each of the four approaches, you will need to have at least
- the OS X developer tools installed — any other requirements
- will be discussed below.</p>
-
- <h3><a name="macosx-inria"
- id="macosx-inria">Inria's binary package</a></h3>
-
- <p>This is the easiest way to set up a basic OCaml
- installation for OS X. For 10.4 (Tiger), simply <a href=
- "releases/">download</a> Intel
- disk image, mount the disk image, double-click on the
- ocaml.pkg file contained within, and follow the instructions
- from there. Requirements for this package are OS X 10.4.x
- (Tiger), with X11 and the XCode tools (v2.4) installed. It
- appears that that this installation was built with the TCL/TK
- interface. Also, X11 is not needed to compile code.</p>
-
- <p>Also available as a binary package, and usable with any of
- the OCaml installations described on this page is <a href=
- "http://www.cs.unm.edu/~wneumann/cococaml/">CocOCaml</a>, a
- Cocoa application allowing for easy interaction with the OCaml
- toplevel environment.</p>
-
- <h3><a name="macosx-fink" id="macosx-fink">Fink</a></h3>
-
- <p><a title="Fink"
- href="http://fink.sourceforge.net/">Fink</a> is the most
- prevalent package management system for OS X, and is based on
- Debian's package management system. Fink can be installed by
- downloading and building the <a href=
- "http://fink.sourceforge.net/download/srcdist.php?phpLang=en">source
- release</a> (you will need to have the OS X Developer Tools
- installed before building Fink). After Fink is installed, it
- must be <a href=
- "http://fink.sourceforge.net/faq/usage-fink.php#unstable">configured
- to use the unstable branch</a> of the distribution tree --
- this is where the OCaml packages reside.</p>
-
- <p>Once Fink is installed, you can <a href=
- "http://fink.sourceforge.net/doc/users-guide/index.php">use it
- to install</a> the following packages:</p>
-
- <ul>
- <li><code>ocaml</code> The basic installation of the ocaml tools
- including labltk.</li>
-
- <li><code>lablgl</code> The OCaml interface to OpenGL</li>
-
- <li><code>lablgtk</code> The OCaml interface to gtk+</li>
-
- <li><code>ledit</code> An optional line editor for OCaml to
- make it easier to work with the interactive toplevel in the
- terminal.</li>
- </ul>
-
- <p>It is likely that Fink will need to download and install a
- number of other packages required to build the OCaml packages,
- but this will occur mostly automatically.</p>
-
- <h3><a name="macosx-fink-godi"
- id="macosx-fink-godi">Godi OCaml Linking Against Fink
- Libraries</a></h3>
-
- <p>This method uses <a href="#godi">GODI</a>'s version of
- OCaml and uses <a href="http://fink.sourceforge.net/">Fink</a>
- to provide any additional third party libraries that do not
- come with Mac OS X. This is done because the version of OCaml
- in Fink is older (3.08 in the unstable branch) than the one in
- Godi. Also, Godi's package management system will recompile
- any packages when a dependent package is updated, ensuring
- that your OCaml build tree is always in good shape.</p>
-
- <p>There is the issue of knowing which Fink packages have to
- be installed before you can install some of the Godi packages
- with all optioned enabled.</p>
-
- <h3><a href="macosx-macports">MacPorts</a></h3>
-
- <p><a href="http://www.macports.org/">MacPorts</a>, formerly
- known as DarwinPorts, is a package management system for Mac
- OS X based on the BSD ports system. You will need to have the
- OS X Developer Tools installed before <a href=
- "http://www.macports.org/?page_id=48">installing</a> MacPorts.
- MacPorts can be used to download and build the following
- packages:</p>
-
- <ul>
- <li><code>ocaml</code> The basic installation of the ocaml tools
- including labltk.</li>
-
- <li><code>lablgl</code> The OCaml interface to OpenGL</li>
-
- <li><code>lablgtk</code> The OCaml interface to gtk+</li>
-
- <li><code>lablgtk2</code> The OCaml interface to gtk+ 2.x</li>
-
- <li><code>cryptokit</code> An OCaml interface to several
- cryptographic functions.</li>
-
- <li><code>ocaml-mode.el</code> An EMACS major mode for editing
- OCaml programs.</li>
-
- <li><code>tuareg-mode.el</code> A GNU Emacs/XEmacs major mode for
- editing OCaml programs.</li>
- </ul>
-
- <h3><a name="macosx-macports-godi"
- id="macosx-macports-godi">Godi OCaml Linking Against MacPorts
- Libraries</a></h3>
-
- <p>Just like the Fink/Godi setup mentioned above, this method
- uses <a href="#godi">GODI</a>'s version of OCaml and uses <a
- href= "http://www.macports.org/">MacPorts</a> to provide any
- additional third party libraries that do not come with Mac OS
- X. This way you can let GODI take care of your OCaml build
- tree, and let MacPorts take care of the native libraries, such
- as GTK2 and PCRE.</p>
-
- <h3><a href="macosx-sources">Building from sources</a></h3>
-
- <p>Unfortunately, the packages available for both Fink and
- DarwinPorts don't yet include some of the more useful
- additions to the OCaml collection, such as Markus Mottl's
- PCRE-Ocaml library or Stolpmann's findlib system. In order to
- get those packages, one must currently build them from
- source.</p>
-
- <p>The following packages are the most beneficial to install:</p>
-
- <ul>
- <li><a href="releases/">The
- OCaml source distribution.</a></li>
-
- <li><a href=
- "http://www.ocaml-programming.de/programming/findlib.html"
- >Findlib</a>, an OCaml library management system.</li>
-
- <li><a
- href="http://batteries.forge.ocamlcore.org/" >Batteries</a>,
- a collection of libraries that extend and improve upon the
- OCaml Standard Library</li>
-
- <li><a href=
- "http://www.ocaml.info/home/ocaml_sources.html">PCRE-OCaml</a>,
- a library for working with Perl Compatible Regular
- Expressions in OCaml (this will require you to build <a
- href= "http://www.pcre.org/">the PCRE library</a> as
- well).</li>
-
- <li><a href=
- "http://www.ocaml.info/home/ocaml_sources.html"
- >OCamlMakefile</a> which makes it easy to create makefiles
- for OCaml projects.</li>
- </ul>
-
- <p>If additional components, such as OpenGL and Gtk+ or Gtk+2
- have already been installed, packages such as <a href=
- "http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgl.html"
- >lablgl</a>, <a href=
- "http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html"
- >lablgtk</a>, etc. can be built as well. The most flexible
- solution for doing this is often using Fink to install the
- required dependencies, and build the OCaml packages from
- source distributions.</p>
-
- <h3>Using Xcode for writing OCaml programs</h3>
-
- <p>There exists an Xcode plugin integrating OCaml
- developement in Xcode. This plugin is always under development
- and still lacks of features, however it gives useful features
- for developing applications:</p>
-
- <ul>
- <li>create a OCaml projet or target with Xcode</li>
- <li>add files to this target like you do for a C program</li>
- <li>modify the OCaml compiler or linker settings through the
- Xcode's build-in build setting GUI.</li>
- <li>adding a library in library build phase of a OCaml target</li>
- <li>syntax higlighting</li>
- <li>use ocamllex and ocamlyacc</li>
- <li>use of the native compiler (select architecture "ppc" instead
- of the default "ocaml")</li>
- <li>dependance between source files</li>
- <li>mixing OCaml and C code</li>
- </ul>
-
- <p>Still being in beta it does not yet support the following:</p>
- <ul>
- <li>better dependance between source files (you must put them
- manually in the good order in the target build phase)</li>
- <li>targeting the intel procs (only bytecode &amp; ppc support at
- this time)</li>
- <li>ocamlp4 preprocessor</li>
- <li>debugging from Xcode (but possible with direct use of
- ocamldebug)</li>
- </ul>
-
- <p><a href="http://maxao.free.fr/xcode-ocaml-plugin/">Download and
- information</a>.</p>
-
- <h3>Using labltk with OS X</h3>
-
- <p>There are a couple of different ways one can go if they
- wish to use labltk with OS X. One could download and build the
- Tcl/Tk libraries themselves and use those libraries. However,
- there are two easier ways to proceed, using <a href=
- "http://fink.sourceforge.net/">Fink</a> to install Tcl/Tk, or
- using the <a href="http://tcltkaqua.sourceforge.net/">Tcl/Tk
- Aqua</a> Framework. There are two very important distinction
- between the two that one needs to consider before installing
- OCaml and labltk:</p>
-
- <ol>
- <li>The fink libraries require X11 to be running when any
- program using labltk is executed, while the Tcl/Tk Aqua
- libraries will execute (and look and feel) like a native OS
- X application</li>
-
- <li>As of the time of writing this, it appears as if labltk
- applications built with the Tcl/Tk Aqua libraries
- <em>must</em> be built as native OS X applications (and
- require an extra step at build time). If one requires the
- portability of bytecode, or needs the interactive
- environment of a labltk enabled toplevel, then they
- <em>must</em> use the fink libraries.</li>
- </ol>
-
- <h4>Installing the fink libraries</h4>
-
- <p>Once Fink is <a href=
- "http://fink.sourceforge.net/doc/index.php?phpLang=en"
- >installed and configured</a>, install the Tcl/Tk libraries
- with the command <code>fink install tcltk tcltk-dev
- tcltk-shlibs</code> and wait for the build and install process
- to compete. Once this is done, OCaml's configure script should
- be able to locate the libraries and header files required to
- build labltk (provided fink is set up to install its packages
- in the /sw directory). Running the standard OCaml build will
- also build labltk.</p>
-
- <h4>Installing the Tcl/Tk Aqua libraries</h4>
-
- <p>This framework comes with OS X 10.4 and later. Configure
- the OCaml build by using the following flags:</p>
- <pre>
+ ocamlmakefile
+```
+To list OCaml packages use:
+
+```tryocaml
+ urpmq --list | grep ocaml
+```
+**Packaging policy**
+
+* [OCaml packaging policy](https://wiki.mageia.org/en/OCaml_policy) in
+ Mageia. All Mageia OCaml packages have to obey this policy, ensuring
+ a minimum standard for all OCaml packages we ship.
+
+## Windows
+Four ports of OCaml for Microsoft Windows are currently available. For
+additional information, please consult the list of [portability
+issues](portability.html) or the [Windows release
+notes](http://caml.inria.fr/pub/distrib/ocaml-4.00/notes/README.win32).
+
+* [Cygwin-based native Win32 port
+ (4.00.1)](http://protz.github.com/ocaml-installer/). A self
+ installer. The interactive loop comes with a simple graphical user
+ interface. Some features require the Cygwin environment, which the
+ installer can fetch for you. However, the compilers are, and
+ generate true Win32 executables, which do not require Cygwin to run.
+* Microsoft-based native Win32 port. No binary distribution available
+ yet; download the source distribution and compile it.
+* [Cygwin](http://cygwin.com/)-based port. Requires Cygwin. No
+ graphical user interface is provided. The compilers generate
+ executables that do require Cygwin. The precompiled binaries are
+ part of the Cygwin distribution; you can install them using the
+ Cygwin `setup` tool. Alternatively, download the source distribution
+ and compile it under Cygwin.
+* Microsoft-based native Win64 port Same features as the
+ Microsoft-based native Win32 port, but generates 64-bit code. No
+ binary distribution available yet; download the source distribution
+ and compile it.
+
+To install libraries, you may use [Godi for Windows or OPAM (see the <em>By
+Package Manager</em> tab).](http://wodi.forge.ocamlcore.org/)
+
+## Mac OS X
+Under Mac OS X, there are, at least for the base package, five different
+ways to go: Install the binary package from Inria; Install via Fink;
+Install via MacPorts; Build via [GODI](#godi); or build it manually from
+sources. For each of the four approaches, you will need to have at least
+the OS X developer tools installed — any other requirements will be
+discussed below.
+
+### Inria's binary package
+This is the easiest way to set up a basic OCaml installation for OS X.
+For 10.4 (Tiger), simply [download](releases/) Intel disk image, mount
+the disk image, double-click on the ocaml.pkg file contained within, and
+follow the instructions from there. Requirements for this package are OS
+X 10.4.x (Tiger), with X11 and the XCode tools (v2.4) installed. It
+appears that that this installation was built with the TCL/TK interface.
+Also, X11 is not needed to compile code.
+
+Also available as a binary package, and usable with any of the OCaml
+installations described on this page is
+[CocOCaml](http://www.cs.unm.edu/~wneumann/cococaml/), a Cocoa
+application allowing for easy interaction with the OCaml toplevel
+environment.
+
+### Fink
+[Fink](http://fink.sourceforge.net/ "Fink") is the most prevalent
+package management system for OS X, and is based on Debian's package
+management system. Fink can be installed by downloading and building the
+[source
+release](http://fink.sourceforge.net/download/srcdist.php?phpLang=en)
+(you will need to have the OS X Developer Tools installed before
+building Fink). After Fink is installed, it must be [configured to use
+the unstable
+branch](http://fink.sourceforge.net/faq/usage-fink.php#unstable) of the
+distribution tree -- this is where the OCaml packages reside.
+
+Once Fink is installed, you can [use it to
+install](http://fink.sourceforge.net/doc/users-guide/index.php) the
+following packages:
+
+* `ocaml` The basic installation of the ocaml tools including labltk.
+* `lablgl` The OCaml interface to OpenGL
+* `lablgtk` The OCaml interface to gtk+
+* `ledit` An optional line editor for OCaml to make it easier to work
+ with the interactive toplevel in the terminal.
+
+It is likely that Fink will need to download and install a number of
+other packages required to build the OCaml packages, but this will occur
+mostly automatically.
+
+### Godi OCaml Linking Against Fink Libraries
+This method uses [GODI](#godi)'s version of OCaml and uses
+[Fink](http://fink.sourceforge.net/) to provide any additional third
+party libraries that do not come with Mac OS X. This is done because the
+version of OCaml in Fink is older (3.08 in the unstable branch) than the
+one in Godi. Also, Godi's package management system will recompile any
+packages when a dependent package is updated, ensuring that your OCaml
+build tree is always in good shape.
+
+There is the issue of knowing which Fink packages have to be installed
+before you can install some of the Godi packages with all optioned
+enabled.
+
+### [MacPorts](macosx-macports)
+[MacPorts](http://www.macports.org/), formerly known as DarwinPorts, is
+a package management system for Mac OS X based on the BSD ports system.
+You will need to have the OS X Developer Tools installed before
+[installing](http://www.macports.org/?page_id=48) MacPorts. MacPorts can
+be used to download and build the following packages:
+
+* `ocaml` The basic installation of the ocaml tools including labltk.
+* `lablgl` The OCaml interface to OpenGL
+* `lablgtk` The OCaml interface to gtk+
+* `lablgtk2` The OCaml interface to gtk+ 2.x
+* `cryptokit` An OCaml interface to several cryptographic functions.
+* `ocaml-mode.el` An EMACS major mode for editing OCaml programs.
+* `tuareg-mode.el` A GNU Emacs/XEmacs major mode for editing OCaml
+ programs.
+
+### Godi OCaml Linking Against MacPorts Libraries
+Just like the Fink/Godi setup mentioned above, this method uses
+[GODI](#godi)'s version of OCaml and uses
+[MacPorts](http://www.macports.org/) to provide any additional third
+party libraries that do not come with Mac OS X. This way you can let
+GODI take care of your OCaml build tree, and let MacPorts take care of
+the native libraries, such as GTK2 and PCRE.
+
+### [Building from sources](macosx-sources)
+Unfortunately, the packages available for both Fink and DarwinPorts
+don't yet include some of the more useful additions to the OCaml
+collection, such as Markus Mottl's PCRE-Ocaml library or Stolpmann's
+findlib system. In order to get those packages, one must currently build
+them from source.
+
+The following packages are the most beneficial to install:
+
+* [The OCaml source distribution.](releases/)
+* [Findlib](http://www.ocaml-programming.de/programming/findlib.html),
+ an OCaml library management system.
+* [Batteries](http://batteries.forge.ocamlcore.org/), a collection of
+ libraries that extend and improve upon the OCaml Standard Library
+* [PCRE-OCaml](http://www.ocaml.info/home/ocaml_sources.html), a
+ library for working with Perl Compatible Regular Expressions in
+ OCaml (this will require you to build [the PCRE
+ library](http://www.pcre.org/) as well).
+* [OCamlMakefile](http://www.ocaml.info/home/ocaml_sources.html) which
+ makes it easy to create makefiles for OCaml projects.
+
+If additional components, such as OpenGL and Gtk+ or Gtk+2 have already
+been installed, packages such as
+[lablgl](http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgl.html),
+[lablgtk](http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html),
+etc. can be built as well. The most flexible solution for doing this is
+often using Fink to install the required dependencies, and build the
+OCaml packages from source distributions.
+
+### Using Xcode for writing OCaml programs
+There exists an Xcode plugin integrating OCaml developement in Xcode.
+This plugin is always under development and still lacks of features,
+however it gives useful features for developing applications:
+
+* create a OCaml projet or target with Xcode
+* add files to this target like you do for a C program
+* modify the OCaml compiler or linker settings through the Xcode's
+ build-in build setting GUI.
+* adding a library in library build phase of a OCaml target
+* syntax higlighting
+* use ocamllex and ocamlyacc
+* use of the native compiler (select architecture "ppc" instead of the
+ default "ocaml")
+* dependance between source files
+* mixing OCaml and C code
+
+Still being in beta it does not yet support the following:
+
+* better dependance between source files (you must put them manually
+ in the good order in the target build phase)
+* targeting the intel procs (only bytecode &amp; ppc support at this time)
+* ocamlp4 preprocessor
+* debugging from Xcode (but possible with direct use of ocamldebug)
+
+[Download and information](http://maxao.free.fr/xcode-ocaml-plugin/).
+
+### Using labltk with OS X
+There are a couple of different ways one can go if they wish to use
+labltk with OS X. One could download and build the Tcl/Tk libraries
+themselves and use those libraries. However, there are two easier ways
+to proceed, using [Fink](http://fink.sourceforge.net/) to install
+Tcl/Tk, or using the [Tcl/Tk Aqua](http://tcltkaqua.sourceforge.net/)
+Framework. There are two very important distinction between the two that
+one needs to consider before installing OCaml and labltk:
+
+1. The fink libraries require X11 to be running when any program using
+ labltk is executed, while the Tcl/Tk Aqua libraries will execute
+ (and look and feel) like a native OS X application
+1. As of the time of writing this, it appears as if labltk applications
+ built with the Tcl/Tk Aqua libraries *must* be built as native OS X
+ applications (and require an extra step at build time). If one
+ requires the portability of bytecode, or needs the interactive
+ environment of a labltk enabled toplevel, then they *must* use the
+ fink libraries.
+
+#### Installing the fink libraries
+Once Fink is [installed and
+configured](http://fink.sourceforge.net/doc/index.php?phpLang=en),
+install the Tcl/Tk libraries with the command
+`fink install tcltk tcltk-dev tcltk-shlibs` and wait for the build
+and install process to compete. Once this is done, OCaml's configure
+script should be able to locate the libraries and header files required
+to build labltk (provided fink is set up to install its packages in the
+/sw directory). Running the standard OCaml build will also build labltk.
+
+#### Installing the Tcl/Tk Aqua libraries
+This framework comes with OS X 10.4 and later. Configure the OCaml build
+by using the following flags:
+
+```tryocaml
./configure -tkdefs \
"-I/Library/Frameworks/Tcl.framework/Headers \
-I/Library/Frameworks/Tk.framework/Headers" \
- -tklibs "-framework Tcl -framework Tk" </pre>
+ -tklibs "-framework Tcl -framework Tk"
+```
+Now building OCaml will also build labltk using the Tcl/Tk Aqua
+libraries.
- <p>Now building OCaml will also build labltk using the Tcl/Tk Aqua
- libraries.</p>
+As mentioned above, any programs using labltk must be compiled using
+`ocamlopt`, and an additional step must be performed before the
+application can be used. For example, with the simple program,
+`hello.ml`:
- <p>As mentioned above, any programs using labltk must be compiled
- using <code>ocamlopt</code>, and an additional step must be
- performed before the application can be used. For example, with the
- simple program, <code>hello.ml</code>:</p>
- <pre>
+```tryocaml
open Tk;;
let hello () =
print_endline "Hello!"; flush stdout in
@@ -641,134 +471,105 @@ cd godi-rocketboost-20110811
let hb =
Button.create ~text:"Hello" ~command:hello top in
pack [hb];
- mainLoop () </pre>
+ mainLoop ()
+```
+One would compile this program with the command
+`ocamlopt -o hello -I +labltk labltk.cmxa hello.ml`
- <p>One would compile this program with the command
- <code>ocamlopt -o hello -I +labltk labltk.cmxa
- hello.ml</code></p>
+Now, to make the program work properly, one must perform one of two
+additional steps: adding a resource fork to the executable, or building
+a Mac OS X .app structure.
- <p>Now, to make the program work properly, one must perform
- one of two additional steps: adding a resource fork to the
- executable, or building a Mac OS X .app structure.</p>
+To add a resource fork, one needs to use the program `Rez`, included in
+the OS X Developer tools. This can be done with the following command:
- <p>To add a resource fork, one needs to use the program
- <code>Rez</code>, included in the OS X Developer tools. This
- can be done with the following command:</p>
- <pre>
+```tryocaml
/Developer/Tools/Rez -t APPL -o hello ~/dev/mac.r \
-i /Library/Frameworks/Tcl.framework/Headers \
- -i /Library/Frameworks/Tk.framework/Headers </pre>
-
- <p>Where mac.r is a Rez source file. It is part of the <a
- href= "http://www.fltk.org/">FLTK</a> distribution. This will
- add the required resource fork to the hello application. The
- program can be run either by typing <code>hello</code> at the
- command line or by double-clicking the app's icon (note that
- if it is launched by double-clicking, hello will send its
- output to the OS X console rather than the terminal).</p>
-
- <p>Unfortunately, files with resource forks can present a
- problem in that utilities like <code>cp, mv, tar</code>,
- etc. will strip the resource fork from the file, breaking the
- application. To aleviate this problem, one can build an OS X
- application bundle to wrap the compiled executable.</p>
-
- <p>To do this, after compiling with <code>ocamlopt -o hello -I
- +labltk labltk.cmxa hello.ml</code>, the following steps will
- build the bundle:</p>
- <pre>
+ -i /Library/Frameworks/Tk.framework/Headers
+```
+Where mac.r is a Rez source file. It is part of the
+[FLTK](http://www.fltk.org/) distribution. This will add the required
+resource fork to the hello application. The program can be run either by
+typing `hello` at the command line or by double-clicking the app's icon
+(note that if it is launched by double-clicking, hello will send its
+output to the OS X console rather than the terminal).
+
+Unfortunately, files with resource forks can present a problem in that
+utilities like `cp, mv, tar`, etc. will strip the resource fork from the
+file, breaking the application. To aleviate this problem, one can build
+an OS X application bundle to wrap the compiled executable.
+
+To do this, after compiling with
+`ocamlopt -o hello -I +labltk labltk.cmxa hello.ml`, the following
+steps will build the bundle:
+
+```tryocaml
mkdir hello.app
mkdir hello.app/Contents
mkdir hello.app/Contents/MacOS
- mv hello hello.app/Contents/MacOS </pre>
-
- <p>Next, create a file
- <code>hello.app/Contents/Info.plist</code> with the following
- contents:</p>
- <pre>
- &lt;?xml version="1.0" encoding="UTF-8"?&gt;
-
- &lt;plist version="1.0"&gt;
- &lt;dict&gt;
- &lt;key&gt;CFBundleExecutable&lt;/key&gt;
- &lt;string&gt;hello&lt;/string&gt;
- &lt;/dict&gt;
- &lt;/plist&gt; </pre>
-
- <p>The hello application can now be run from the command line
- by typing <code>open hello.app</code>, or by double-clicking
- on the app's icon (again, this will send hello.app's output to
- the console).</p>
-
- <h3>Tips</h3>
-
- <p><strong>Documentation.</strong> To get quick access to the
- documentation of a module (whatever the editor you use) use <a
- href="http://quicksilver.blacktree.com/">Quicksilver</a> to
- index the libref/ directory of ocaml's documentation. Since
- ocamldoc generates the documentation of a module M in a file
- M.html, you can access it by invoking Quicksilver, type an
- abbreviation of the module's name you want and hit return to
- get its html file loaded in your preferred browser.</p>
-
- <p><strong>Profiling.</strong> To profile native-code programs
- <em>do not</em> compile them with the option -p (this is
- unsupported) simply use Shark. Shark can be invoked directly
- from the command line as follows :</p>
- <pre>
- &gt; shark -i -1 -q myprogram.opt args </pre>
-
- <p>This will write a .mshark file in the directory that you can
- open with Shark.app.</p>
- <pre>
- &gt; open *.mshark </pre>
-
- <p>Note that if your executable doesn't run for long enough
- Shark won't be able to take any samples and won't report any
- statistics. More function names will show up in the profiles
- if you compile with <code>-g</code>.</p>
- </div><!-- macosx -->
-
-
- <div class="tab-pane" id="oasis-db">
- <h2>Oasis-DB</h2>
-
- <img src="img/under_construction_icon.gif"
- alt="Under Construction" />
- </div><!-- oasis-db -->
-
- <div class="tab-pane" id="odb">
- <h2>ODB</h2>
-
- <img src="img/under_construction_icon.gif"
- alt="Under Construction" />
- </div><!-- odb -->
-
- <div class="tab-pane" id="opam">
- <h2>OPAM</h2><img src="img/under_construction_icon.gif"
- alt="Under Construction" />
- </div><!-- opam -->
-
- <div class="tab-pane" id="ocamlbrew">
- <h2>ocamlbrew</h2><img src="img/under_construction_icon.gif"
- alt="Under Construction" />
-
- <a href="https://github.com/hcarty/ocamlbrew" >ocamlbrew</a>
- </div><!-- ocamlbrew -->
-
- <div class="tab-pane" id="releases">
- <h2>Source</h2>
-
- <img src="img/under_construction_icon.gif"
- alt="Under Construction" />
- </div><!-- source -->
-
- <div class="tab-pane active" id="devel">
- Download the <a href="releases/svn.html">latest development
- version</a> using subversion and follow the instructions
- included therein.
- </div><!-- devel -->
-
- </div><!-- tab-content -->
- </body>
-</html>
+ mv hello hello.app/Contents/MacOS
+```
+Next, create a file `hello.app/Contents/Info.plist` with the following
+contents:
+
+```tryocaml
+ <?xml version="1.0" encoding="UTF-8"?>
+
+ <plist version="1.0">
+ <dict>
+ <key>CFBundleExecutable</key>
+ <string>hello</string>
+ </dict>
+ </plist>
+```
+The hello application can now be run from the command line by typing
+`open hello.app`, or by double-clicking on the app's icon (again, this
+will send hello.app's output to the console).
+
+### Tips
+**Documentation.** To get quick access to the documentation of a module
+(whatever the editor you use) use
+[Quicksilver](http://quicksilver.blacktree.com/) to index the libref/
+directory of ocaml's documentation. Since ocamldoc generates the
+documentation of a module M in a file M.html, you can access it by
+invoking Quicksilver, type an abbreviation of the module's name you want
+and hit return to get its html file loaded in your preferred browser.
+
+**Profiling.** To profile native-code programs *do not* compile them
+with the option -p (this is unsupported) simply use Shark. Shark can be
+invoked directly from the command line as follows :
+
+```tryocaml
+ > shark -i -1 -q myprogram.opt args
+```
+This will write a .mshark file in the directory that you can open with
+Shark.app.
+
+```tryocaml
+ > open *.mshark
+```
+Note that if your executable doesn't run for long enough Shark won't be
+able to take any samples and won't report any statistics. More function
+names will show up in the profiles if you compile with `-g`.
+
+## Oasis-DB
+![Under Construction](img/under_construction_icon.gif "")
+
+## ODB
+![Under Construction](img/under_construction_icon.gif "")
+
+## OPAM
+![Under Construction](img/under_construction_icon.gif "")
+
+## ocamlbrew
+![Under Construction](img/under_construction_icon.gif "")
+[ocamlbrew](https://github.com/hcarty/ocamlbrew)
+
+## Source
+![Under Construction](img/under_construction_icon.gif "")
+
+Download the [latest development version](releases/svn.html) using
+subversion and follow the instructions included therein.
+
+
View
679 src/site/docs/license.fr.md
<
@@ -1,16 +1,663 @@
-<?xml version="1.0"?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
-"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
- <title>Licence</title>
- </head>
- <body>
- <h1>La licence d'OCaml</h1>
-
- <span ml:replace="include ocaml_license.inc"></span>
-
- </body>
-</html>
+<!-- ((! set title License !)) ((! set documentation !)) -*-html-*- -->
+
+# La licence d'OCaml
+
+<p>
+In the following, &#8220;the Library&#8221; refers to all files marked &#8220;Copyright
+Inria&#8221; in the following directories and their sub-directories of the
+distribution:
+</p>
+<blockquote><p>
+ <tt>asmrun</tt>,
+ <tt>byterun</tt>,
+ <tt>camlp4</tt>,
+ <tt>config</tt>,
+ <tt>otherlibs</tt>,
+ <tt>stdlib</tt>,
+ <tt>win32caml</tt>
+
+</p></blockquote>
+<p>
+and &#8220;the Compiler&#8221; refers to all files marked &#8220;Copyright
+Inria&#8221; in the following directories and their sub-directories:
+</p>
+<blockquote><p>
+ <tt>asmcomp</tt>,
+ <tt>boot</tt>,
+ <tt>bytecomp</tt>,
+ <tt>debugger</tt>,
+ <tt>driver</tt>,
+ <tt>lex</tt>,
+ <tt>ocamldoc</tt>,
+ <tt>parsing</tt>,
+ <tt>tools</tt>,
+ <tt>toplevel</tt>,
+ <tt>typing</tt>,
+ <tt>utils</tt>,
+ <tt>yacc</tt>
+
+</p></blockquote>
+
+<p>
+The Compiler is distributed under the terms of the <a href="#qpl" shape="rect">Q Public License</a> version 1.0
+ with a change to choice of law (included below).
+</p>
+
+<p>
+The Library is distributed under the terms of the <a href="#lgpl" shape="rect">GNU
+Library General Public License</a> version 2 (included below).
+</p>
+
+<p>
+
+As a special exception to the Q Public Licence, you may develop
+application programs, reusable components and other software items
+that link with the original or modified versions of the Compiler
+and are not made available to the general public, without any of the
+additional requirements listed in clause 6c of the Q Public licence.
+</p>
+
+<p>
+As a special exception to the GNU Library General Public License, you
+may link, statically or dynamically, a "work that uses the Library"
+with a publicly distributed version of the Library to produce an
+executable file containing portions of the Library, and distribute
+that executable file under terms of your choice, without any of the
+additional requirements listed in clause 6 of the GNU Library General
+Public License. By "a publicly distributed version of the Library",
+we mean either the unmodified Library as distributed by Inria, or a
+modified version of the Library that is distributed under the
+conditions defined in clause 3 of the GNU Library General Public
+License. This exception does not however invalidate any other reasons
+why the executable file might be covered by the GNU Library General
+Public License.
+</p>
+
+<h2><a name="qpl" id="qpl"><!--0--></a>The Q Public License, version 1.0</h2>
+<pre xml:space="preserve">
+ Copyright (C) 1999 Troll Tech AS, Norway.
+ Everyone is permitted to copy and
+ distribute this license document.
+
+The intent of this license is to establish freedom to share and change
+the software regulated by this license under the open source model.
+
+This license applies to any software containing a notice placed by the
+copyright holder saying that it may be distributed under the terms of
+the Q Public License version 1.0. Such software is herein referred to
+as the Software. This license covers modification and distribution of
+the Software, use of third-party application programs based on the
+Software, and development of free software which uses the Software.
+
+ Granted Rights
+
+1. You are granted the non-exclusive rights set forth in this license
+provided you agree to and comply with any and all conditions in this
+license. Whole or partial distribution of the Software, or software
+items that link with the Software, in any form signifies acceptance of
+this license.
+
+2. You may copy and distribute the Software in unmodified form
+provided that the entire package, including - but not restricted to -
+copyright, trademark notices and disclaimers, as released by the
+initial developer of the Software, is distributed.
+
+3. You may make modifications to the Software and distribute your
+modifications, in a form that is separate from the Software, such as
+patches. The following restrictions apply to modifications:
+
+ a. Modifications must not alter or remove any copyright notices
+ in the Software.
+
+ b. When modifications to the Software are released under this
+ license, a non-exclusive royalty-free right is granted to the
+ initial developer of the Software to distribute your
+ modification in future versions of the Software provided such
+ versions remain available under these terms in addition to any
+ other license(s) of the initial developer.
+
+4. You may distribute machine-executable forms of the Software or
+machine-executable forms of modified versions of the Software,
+provided that you meet these restrictions:
+
+ a. You must include this license document in the distribution.
+
+ b. You must ensure that all recipients of the machine-executable
+ forms are also able to receive the complete machine-readable
+ source code to the distributed Software, including all
+ modifications, without any charge beyond the costs of data
+ transfer, and place prominent notices in the distribution
+ explaining this.
+
+ c. You must ensure that all modifications included in the
+ machine-executable forms are available under the terms of this
+ license.
+
+5. You may use the original or modified versions of the Software to
+compile, link and run application programs legally developed by you or
+by others.
+
+6. You may develop application programs, reusable components and other
+software items that link with the original or modified versions of the
+Software. These items, when distributed, are subject to the following
+requirements:
+
+ a. You must ensure that all recipients of machine-executable
+ forms of these items are also able to receive and use the
+ complete machine-readable source code to the items without any
+ charge beyond the costs of data transfer.
+
+ b. You must explicitly license all recipients of your items to
+ use and re-distribute original and modified versions of the
+ items in both machine-executable and source code forms. The
+ recipients must be able to do so without any charges whatsoever,
+ and they must be able to re-distribute to anyone they choose.
+
+ c. If the items are not available to the general public, and the
+ initial developer of the Software requests a copy of the items,
+ then you must supply one.
+
+ Limitations of Liability
+
+In no event shall the initial developers or copyright holders be
+liable for any damages whatsoever, including - but not restricted to -
+lost revenue or profits or other direct, indirect, special, incidental
+or consequential damages, even if they have been advised of the
+possibility of such damages, except to the extent invariable law, if
+any, provides otherwise.
+
+ No Warranty
+
+The Software and this license document are provided AS IS with NO