From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5EB1781792 for ; Tue, 9 Jul 2013 17:05:02 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of louis.gesbert@ocamlpro.com) identity=pra; client-ip=212.27.42.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="louis.gesbert@ocamlpro.com"; x-sender="louis.gesbert@ocamlpro.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of louis.gesbert@ocamlpro.com) identity=mailfrom; client-ip=212.27.42.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="louis.gesbert@ocamlpro.com"; x-sender="louis.gesbert@ocamlpro.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp3-g21.free.fr) identity=helo; client-ip=212.27.42.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="louis.gesbert@ocamlpro.com"; x-sender="postmaster@smtp3-g21.free.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYBAEMl3FHUGyoDlGdsb2JhbABagzuNELVcFg4BAQEBBw0JCRQDJYJkgiaHfQiZcaBFkAiDXAOYfJMy X-IPAS-Result: AiYBAEMl3FHUGyoDlGdsb2JhbABagzuNELVcFg4BAQEBBw0JCRQDJYJkgiaHfQiZcaBFkAiDXAOYfJMy X-IronPort-AV: E=Sophos;i="4.87,1028,1363129200"; d="scan'208";a="20521483" Received: from smtp3-g21.free.fr ([212.27.42.3]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Jul 2013 17:05:00 +0200 Received: from agaric.localnet (unknown [88.189.115.104]) by smtp3-g21.free.fr (Postfix) with ESMTP id 0FFF5A62E1 for ; Tue, 9 Jul 2013 17:04:56 +0200 (CEST) From: Louis Gesbert Organization: OCamlPro To: caml-list@inria.fr Date: Tue, 9 Jul 2013 17:04:55 +0200 User-Agent: KMail/1.13.7 (Linux/3.9-1-amd64; KDE/4.8.4; x86_64; ; ) MIME-Version: 1.0 X-Length: 1367 X-UID: 1542 Content-Type: Text/Plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Message-Id: <201307091704.55213.louis.gesbert@ocamlpro.com> X-Validation-by: louis.gesbert@ocamlpro.com Subject: [Caml-list] OCaml-Top release 1.0.0 OCamlPro is proud to announce the release of OCaml-Top 1.0.0 OCaml-Top is an interactive editor targeted at education, with a simple and convenient interface: an edition panel, with syntax coloration and automatic indentation, tightly coupled with an ocaml toplevel to easily evaluate the code as you go. It is available from OPAM and as a binary installer for Windows. OCaml-Top is released under the terms of the GNU GPL v3. Home page: http://typerex.org/ocaml-top.html Source on Github: https://github.com/OCamlPro/ocaml-top We hope you appreciate it, and it gives a better experience to students and first-time users, especially on Windows. Louis Gesbert -- OCamlPro