From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C4F427F612 for ; Wed, 11 May 2016 08:17:00 +0200 (CEST) IronPort-PHdr: 9a23:gsDQxBEjzjaAEMtfzPEXVp1GYnF86YWxBRYc798ds5kLTJ74pcuwAkXT6L1XgUPTWs2DsrQf27uQ6v2rADReqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7H0osCYOl0WzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9EqLcQzaz38YW2NerRdHCg6NuBj+Wp73rSb1v+xV0S2eNMvpQL89X3Ku4vEvAFXjgSIDcjo4633/i8pqjasdrgjr70h0yovQJYWUL+ZWf6XHfNpcS3AXDehLUCkULoqibodHJu4FJuFAt8Gpq0EH6B2zGhKEAe7zwyRUj3T1m6Y91rJyQkn9wAU8EodW4zzvp9LvOfJXCLjtwQ== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail149082.authsmtp.co.uk Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.149.82; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of dra-news@metastack.com designates 62.13.149.82 as permitted sender) identity=mailfrom; client-ip=62.13.149.82; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@outmail149082.authsmtp.co.uk) identity=helo; client-ip=62.13.149.82; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail149082.authsmtp.co.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BAAQB/zTJXilKVDT5dgw2CA6UPAQEGliGGEAIcgRU8EAEBAQEBAQEBEQEBAQoUCVCCLYIVAQEBAwEDIAQNLR0LAgEIGAICBiACAgIwFQIBDQIEARoMiA8JAwGnFJB3AQEIAQEBAQEBAQEYfIRchRSEQYJ+K4IuBYd7hWSBMokWiHaFKAqPD49AN4IwEQqBS4g6JBsBfgEBAQ X-IPAS-Result: A0BAAQB/zTJXilKVDT5dgw2CA6UPAQEGliGGEAIcgRU8EAEBAQEBAQEBEQEBAQoUCVCCLYIVAQEBAwEDIAQNLR0LAgEIGAICBiACAgIwFQIBDQIEARoMiA8JAwGnFJB3AQEIAQEBAQEBAQEYfIRchRSEQYJ+K4IuBYd7hWSBMokWiHaFKAqPD49AN4IwEQqBS4g6JBsBfgEBAQ X-IronPort-AV: E=Sophos;i="5.24,608,1454972400"; d="scan'208";a="217681692" Received: from outmail149082.authsmtp.co.uk ([62.13.149.82]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 May 2016 08:16:59 +0200 Received: from mail-c232.authsmtp.com (mail-c232.authsmtp.com [62.13.128.232]) by punt20.authsmtp.com (8.14.2/8.14.2/) with ESMTP id u4B6GvC6003396; Wed, 11 May 2016 07:16:57 +0100 (BST) Received: from romulus.metastack.com (114.212-105-213.static.virginmediabusiness.co.uk [213.105.212.114]) (authenticated bits=0) by mail.authsmtp.com (8.14.2/8.14.2/) with ESMTP id u4B6Gt1Q064967 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 11 May 2016 07:16:56 +0100 (BST) Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id u4B6GsBq019121 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=FAIL); Wed, 11 May 2016 07:16:54 +0100 Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0279.002; Wed, 11 May 2016 07:16:54 +0100 From: David Allsopp To: Allan Wegan , "caml-list@inria.fr" Thread-Topic: [Caml-list] IDE like PyCharm - Results Thread-Index: AQHRqv+XK89Rwngw7k6Md92/hikmNZ+yqkyAgAAnnoCAAGuQ8A== Date: Wed, 11 May 2016 06:16:53 +0000 Message-ID: References: <572FBB68.1010506@allanwegan.de> <57324CE0.5040006@allanwegan.de> <57325BF1.3020102@gmail.com> <57327D2D.7090608@allanwegan.de> In-Reply-To: <57327D2D.7090608@allanwegan.de> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [77.22.199.3] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: f64b9d31-173f-11e6-829e-00151795d556 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgASJgRFAnRQ SnkJW1VSQF12U2Jz YQ9XIwdcYVRPXwB0 UklLXFNTEBpqBAMA SFsaIB8FMwQneHh0 bEBlEHFZXEB8OxB7 RhxdQW4HeGZnazYC UUENcR5ccgofYx9F a1V+U3oINWACYDQC Ml17DBs4ODEaLCVO XjRFDH4/CUIKHTN0 fwEpHTw1GAVADx8+ NAEiNkV0 X-Authentic-SMTP: 61633634383431.1037:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 213.105.212.114/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] IDE like PyCharm - Results QWxsYW4gV2VnYW4gd3JvdGU6DQo+ID4+IGVtYWNzOg0KPiA+PiBBbHJlYWR5 IGdvdCB0d28gb3BlcmF0aW5nIHN5c3RlbXMgdG8gdXNlIGFuZCBkb24ndCB3 YW50IHRvIGxlYXJuDQo+ID4+IGFub3RoZXIgb25lLiBJIGtub3csIHlvdSBh bGwgKmxvdmUqIHRoaXMgYmVhc3QuIEJ1dCBpIGhhdmUgdXNlZA0KPiA+PiBX aW5kb3dzIGZvciBhIGxvbmcgdGltZSBiZWZvcmUgaSBzd2l0Y2hlZCB0byBH ZW50b28uIEkganVzdCBjYW4ndA0KPiA+PiBsaXZlIHdpdGhvdXQgYSB1c2Fi bGUgR1VJIGFueW1vcmUuDQo+ID4NCj4gPiBJIGZlZWwgZm9yIHlvdS4gIEkn dmUgYmVlbiB0aGVyZSB3aGVuIEkgc3RhcnRlZCBteSBMaXNwL1NjaGVtZQ0K PiA+IGpvdXJuZXkuIEJ1dCBvbmNlIEkgZ290IHRoZSBoYW5nIG9mIGl0LCBJ IG5ldmVyIGxvb2tlZCBiYWNrIDotKQ0KPiANCj4gWWVhaCAtIHlhIGd1eXMg c2VlIGV2ZXJ5dGhpbmcgYWZ0ZXIgdGhlIHB1bmNoIGNhcmRzIGFzIHVubmVk ZWQgZXllIGNhbmR5DQo+IGFueXdheSA6UA0KPg0KPiA+PiAkIG9wYW0gaW5z dGFsbCBtZXJsaW4gb2NhbWxidWlsZCBvY3AtaW5kZW50DQo+ID4+IC0+IGlu c3RhbGxlZCBzb21lIHN0dWZmDQo+ID4+ICQgYXBtIGluc3RhbGwgbnVjbGlk ZSBsYW5ndWFnZS1vY2FtbCBvY2FtbC1pbmRlbnQgYnVpbGQNCj4gPj4gLT4g ImJhc2g6IGFwbTogY29tbWFuZCBub3QgZm91bmQiDQo+ID4NCj4gPiBUaGlz LCBJJ20gY2VydGFpbiwgaXMgYW4gT1Mgc3BlY2lmaWMgcHJvYmxlbSBhcyBv biBVYnVudHUgMTQuMDQsIGhlcmUsDQo+ID4gaXQgd2VudCBhbGwgZmluZS4g IEknZCBzdWdnZXN0IHlvdSB0cnkgQXRvbSBpbnN0YWxsYXRpb24gYWdhaW4g c2luY2UNCj4gPiB0aGUgZWRpdG9yLCBJTU8sIHNlZW1zIHRvIGJlIHdvcnRo IGl0Lg0KPiANCj4gSXQgc3VyZWx5IGlzIGFuIE9TLXNwZWNpZmljIHRoaW5n IC0gYmVjYXVzZSBpdCBpcyBhIGJ1aWxkIGVudmlyb25tZW50DQo+IHRoaW5n Lg0KDQpJdCdzIGEgYnVpbGQgZW52aXJvbm1lbnQgdGhpbmcgYmVjYXVzZSB5 b3UgaW5zaXN0IG9uIHVzaW5nIGEgcGFja2FnZSBtYW5hZ2VyIHdoaWNoIGlz IGEgYnVpbGQgZW52aXJvbm1lbnQhDQoNCj4gUGVvcGxlIHRlbmQgdG8gYXNz dW1lIHRoYXQgZXZlcnlvbmUgb3V0IHRoZXJlIHdpbGwgaGF2ZSB0aGUgc2Ft ZSBPUw0KPiB0aGV5IGhhdmUgYW5kIHRoZXJlZm9yZSBkbyBub3QgZXZlbiB0 aGluayBhYm91dCBnaXZpbmcgbW9yZSBkZXRhaWxlZA0KPiBpbnN0cnVjdGlv bnMuDQoNClRoZXJlIHdlcmUgbW9yZSBkZXRhaWxlZCBpbnN0cnVjdGlvbnM7 IHlvdSBjaG9zZSB0byBzbmlwIHRoZSBsaW5lOg0KDQo+IEFzIHNvb24gYXMg eW91IGhhdmUgb3BhbSBhbmQgYXRvbSBpbnN0YWxsZWQgaXQncyBhcyBzaW1w bGUgYXM6DQoNCklmIGJhc2ggaXMgdGVsbGluZyB5b3UgdGhhdCBhcG0gaXNu J3QgZm91bmQsIGl0IHByb2JhYmx5IG1lYW5zIHlvdSd2ZSBmYWlsZWQgdG8g aW5zdGFsbCBhdG9tIG9uIHlvdXIgT1MuIElmIHlvdSdyZSBzdHJ1Z2dsaW5n IHRvIGRvIHRoYXQsIHlvdSBjb3VsZDoNCg0KYSkgQWN0dWFsbHkgYXNrIGEg cXVlc3Rpb24gYWJvdXQgaG93IHRvIGRvIHRoaXMgKHBvc3NpYmx5LCBidXQg bm90IG5lY2Vzc2FyaWx5LCBvbiBhIG1vcmUgYXBwbGljYWJsZSBsaXN0KSwg aW5zdGVhZCBvZiBpbnN1bHRpbmcgdGhlIE9QDQpiKSBVc2UgYSBtb3JlIHBv cHVsYXIgT1MsIGFuZCBzZWUgaWYgdGhlIGluc3RydWN0aW9ucyBhcmUgZWFz aWVyIHRvIGZpbmQNCmMpIFRlbXBvcmFyaWx5IHZpcnR1YWxpc2UgYSBtb3Jl IHBvcHVsYXIgT1MgaW4gb3JkZXIgdG8gdHJ5IGl0IG91dCwgYW5kIHRoZW4g cmV0dXJuIHRvIGluc3RhbGxpbmcgaXQgdG8geW91ciBtb3JlIG5pY2hlIE9T IGlmIHlvdSdyZSBoYXBweSB3aXRoIGl0DQoNCjxzbmlwIHJhbnQ+DQoNCj4g PiBJLCBwZXJzb25hbGx5LCB3b3VsZG4ndCBjYWxsIGl0IGJ1aWxkIGVudiBo ZWxsLiAgU2luY2UgeW91J3JlIHRyeWluZw0KPiA+IHRvIHN3aW0gaW4gYSBk aWZmZXJlbnQgZGlyZWN0aW9uIHRoYXQgdGhlIGN1cnJlbnQncyAodmltICYg RW1hY3MpLCB5b3UNCj4gPiBjYW4ndCBleHBlY3QgbXVjaCBtYXRlcmlhbCB0 byBiZSBmb3VuZC4NCj4gDQo+IFZpbSBhbmQgRW1hY3MgYXJlIGNvbW1hbmRs aW5lIGVkaXRvcnMgLSB3ZSBnb3QgMjAxNiBhbmQgSURFcyBmb3Igb3RoZXIN Cj4gbGFuZ3VhZ2VzIGV2b2x2ZWQgdG8gYmUgR1VJLWRyaXZlbiBvdXQgdGhl cmUuDQoNCkFjdHVhbGx5LCBJREVzIGZvciBvdGhlciBsYW5ndWFnZXMgZXZv bHZlZCB0byBiZSBHVUlzIG1vcmUgdGhhbiAyMCB5ZWFycyBhZ28sIGhhdmlu ZyByZWNlbnRseSBoYWQgdGhlICJwbGVhc3VyZSIgb2YgcmVpbnN0YWxsaW5n IE1pY3Jvc29mdCBWaXN1YWwgQysrIDQuIFNvIGNhbGxpbmcgVmltIGFuZCBF bWFjcyB1c2VycyBkYXRlZCBtYXkgbm90IGJlIGEgcm91dGUgdG8gZ2V0dGlu ZyBhZHZpY2UgKGJlbGxpZ2VyZW50IG1heWJlLi4uKQ0KDQo+IElmIHlvdSB3 YW50IHRvIGtub3cgaG93IGFuIElERSBsb29rcyBsaWtlIHdoZW4gaXQgaXMg ZG9uZSAicmlnaHQiIC0gbG9vaw0KPiBhdCBNaWNyb3NvZnQncyBWaXN1YWwg U3R1ZGlvLiBUaGV5IGRvIG5vdCBvZnRlbiBkbyB0aGluZ3MgcmlnaHQgYnV0 IHRoYXQNCj4gdGhpbmcgaXMgdGhlIGdyZWF0ZXN0IElERSBpJ3ZlIHNlZW4g KGFuZCB3aXRoIHRvZGF5cyBDUFVzIGFuZCBSQU0gaXQgZXZlbg0KPiBiZWNh bWUgZmFzdCAqZyopLg0KDQpJZiB5b3UnZCBsaWtlIHRvIHdoaXAgdXAgc29t ZSBmdW5kcyBmb3IgYSBwb3J0LCBJJ20gc3VyZSB0aGUgY29tbXVuaXR5IHdv dWxkIGJlIGdyYXRlZnVsLiBZb3UgYXJlIGEgcHJpb3JpIGFzc3VtaW5nIHRo YXQgYWxsIG9mIHVzIFZpbSBhbmQgRW1hY3MgdXNlcnMgaGF2ZSBuZXZlciBz ZWVuIG9yIHVzZWQgVmlzdWFsIFN0dWRpbyAob3IgRWNsaXBzZSBiZWZvcmUp LiBBIGJldHRlciB0YWNrIG1pZ2h0IGJlIHRvIG5hbWUgYSBmZWF0dXJlIG9m IHlvdXIgZmF2b3VyaXRlIEdVSSBJREUgd2hpY2ggeW91IHBlcmNlaXZlIGFz IGxhY2tpbmcgaW4gb3VyIHRlcnJpYmx5IGRhdGVkICJjb21tYW5kIGxpbmUi IGVkaXRvcnMgKEkgcGVyc29uYWxseSByZWdhcmQgZ1ZpbSBhcyBhIEdVSSBl ZGl0b3IsIHRoZSBjbHVlIGJlaW5nIGluIHRoZSAnZycpLiBUaGVyZSdzIGEg Y2hhbmNlIGl0J3Mgb24gYSB3aXNoLWxpc3Q7IHRoZXJlJ3MgYSBjaGFuY2Ug dGhlcmUncyBhIHBlcmZlY3RseSByZWFzb25hYmxlIG90aGVyIHdheS4uLg0K DQo+IFRvbyBiYWQgdGhleSBkaWQgdGhlaXIgb3duIC5OZXQtYmFzZWQgZnVu Y3Rpb25hbA0KPiBsYW5ndWFnZSBpbnN0ZWFkIG9mIGFkb3B0aW5nIE9DYW1s Li4uDQoNCkFsdGhvdWdoIHRoZXkgZGlkIHVzZSBPQ2FtbCBhcyBhIHN0YXJ0 aW5nIHBvaW50IGZvciB0aGF0IGxhbmd1YWdlLg0KDQoNCkRhdmlkDQo=