From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 DD6617F612 for ; Wed, 11 May 2016 01:16:45 +0200 (CEST) IronPort-PHdr: 9a23:dpcjehfUaMiygvYGYqvS2Pq2lGMj4u6mDksu8pMizoh2WeGdxc6+ZB7h7PlgxGXEQZ/co6odzbGG4ua5BCdauN6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDjvcSOKF8RzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEzRLlcSTAnKHwd5cvxtBCFQxHcyGEbVzA/lh5BBUD64R7zWN+luy/+v+xi1SaTO+X/SbQ9Xyuv4K5tDhPl3nRUfwUl+X3a35QjxJlQpwis8kRy Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=allanwegan@allanwegan.de; spf=None smtp.mailfrom=allanwegan@allanwegan.de; spf=None smtp.helo=postmaster@vserver22.colo-server.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of allanwegan@allanwegan.de) identity=pra; client-ip=185.82.85.124; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="allanwegan@allanwegan.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of allanwegan@allanwegan.de) identity=mailfrom; client-ip=185.82.85.124; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="allanwegan@allanwegan.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@vserver22.colo-server.net) identity=helo; client-ip=185.82.85.124; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="postmaster@vserver22.colo-server.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B5AACIazJXhnxVUrldhA1JNLk4DoF2IoVuAoFlFAEBAQEBAQEBEQEBAQoWB1CCLYIVAQEDASNVBgsLIRYLAgIJAwIBAgFFEwYCAQGIHwwKqF+QYQELFgiFKHiDSYEDhQuCNIJZBZgngymBaG2RX4Vaj0AeAYJZgVdsiQoBAQE X-IPAS-Result: A0B5AACIazJXhnxVUrldhA1JNLk4DoF2IoVuAoFlFAEBAQEBAQEBEQEBAQoWB1CCLYIVAQEDASNVBgsLIRYLAgIJAwIBAgFFEwYCAQGIHwwKqF+QYQELFgiFKHiDSYEDhQuCNIJZBZgngymBaG2RX4Vaj0AeAYJZgVdsiQoBAQE X-IronPort-AV: E=Sophos;i="5.24,606,1454972400"; d="asc'?scan'208";a="177295782" Received: from mx1.iboxed.net (HELO vserver22.colo-server.net) ([185.82.85.124]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 11 May 2016 01:16:26 +0200 Received: from [10.14.11.247] (unknown [94.242.243.171]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by vserver22.colo-server.net (Postfix) with ESMTPSA id D35F554452B for ; Wed, 11 May 2016 01:16:24 +0200 (CEST) To: caml-list@inria.fr References: <572FBB68.1010506@allanwegan.de> <57324CE0.5040006@allanwegan.de> From: Allan Wegan Openpgp: id=FBCE6B51371AC71E5533B8CEC3B7955C88CB542E X-Enigmail-Draft-Status: N1110 Message-ID: <57326BC8.3070802@allanwegan.de> Date: Wed, 11 May 2016 01:16:24 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="Bnitja1tUaoAGUsNQIlL8irrRXOoxx4DQ" Subject: Re: [Caml-list] IDE like PyCharm - Results This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --Bnitja1tUaoAGUsNQIlL8irrRXOoxx4DQ Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable > You might like Sublime Text with > whitequark's > extensions Wow - great IDE and easy to install (just extract and chmod executables) too. I really love its unique content overview in the right column. I guess i still need to learn how making multifile projects works in the OCaml world - so i can integrate it in this shiny new IDE (it seems to support custom build workflows). --=20 Allan Wegan Jabber: allanwegan@ffnord.net OTR-Fingerprint: E4DCAA40 4859428E B3912896 F2498604 8CAA126F Jabber: allanwegan@jabber.ccc.de OTR-Fingerprint: A1AAA1B9 C067F988 4A424D33 98343469 29164587 ICQ: 209459114 OTR-Fingerprint: 71DE5B5E 67D6D758 A93BF1CE 7DA06625 205AC6EC --Bnitja1tUaoAGUsNQIlL8irrRXOoxx4DQ Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIbBAEBCAAGBQJXMmvIAAoJEMO3lVyIy1Qut0kP+JZMw5GsIFmT96hBd5SxnVBn DtKw9Pb5AdwYc+S/Bbi9MLavQpNhpJd3TSmNNF12iKaoekBx7yrNLsanmc09bMuX tiP7YW23e7TgXZrlgsEdfaf8M6UkFa4MP9UlWjzXBx4RUiGTqp0cGYdHSZUKtkaF WLeO3d2SgFygD+SHbx8MUh+goeJMXW8EIARv9nf0/ywIm8coBjElqoNmSv+W3O+t CV1yK9UiQE5Tu2/yxrCLKRGPwALm0iNEoiEt1fNCOyttsYfcRDhuocvhgmey61v8 YiwR4IwZ+yVPfQcPQBrU+ibyqH8lDp2UbFtiix3rXCRTp6qlT/red+t6UWudOABA WV6XHzJ/GREXkbvYiZvHYY6PJnr+cQbMSvoJ6zYXHMXUIfqiijUW77pOKCl16bJh gsE1cuv0c6bYfo+xvPB88Cl6+REX+KJ+8zwB6VQv4TZJXs5r0SRT9UFAAMbHPYgI 300eP1+qYytvd4VTxxOSkDDEGRofbKOEItq8TaN2m/SpisNXy4YTinKrX7uXGWh+ XgEmoty6QHZZZrVTo8bgxXhypMs1l5/+p/lm6K8N9x2CHmkfPwPu2GZsnC1jdGeT iYuYQnlI+QbRESDi8iD/qp7tUAP+GpzOLdEvSK4CP0Eav9PlhLVuJxt3jL4SaQAU 0EcO47EkLSGSpxYZGO0= =4VyY -----END PGP SIGNATURE----- --Bnitja1tUaoAGUsNQIlL8irrRXOoxx4DQ--