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 c5ff346549e7 (Postfix) with ESMTPS id 4A15B5D5 for ; Wed, 9 Mar 2022 09:24:23 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=to:references:from:message-id:date:mime-version: in-reply-to:content-transfer-encoding:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=9RTQ7kiyE4Qy3HViUp93YlDVryKnGRGWvr5UJx6s/lc=; b=LoQVJCOHU5KELMG6C/0ziBdVPEfIZKouZ/AYtTFtXF+LMSOSPbooiLKl WAaVz2e64pBkLJDc4yevRR/nTPqSbsqO2KTiZ+RjvrVWEtzdkwj3sr4Gt rEmykIgM+KqalKSSSDjR1DcnzsQFhWksEDrFcUbR7cYJnQ4rULy9NwkEG Y=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="5.90,167,1643670000"; d="scan'208";a="25193234" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Mar 2022 10:24:21 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 71390E1D41; Wed, 9 Mar 2022 10:24:21 +0100 (CET) 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 3C3B2E0164 for ; Wed, 9 Mar 2022 10:24:16 +0100 (CET) IronPort-SDR: juiGgcBxy03qN6/5Mf4KJe7ECmjr7iVqkJAxVeIBvoFSL4iNo2ebnnlHrMtHYgcxuxgwxJMV3K 2XKRzW3atNepMXCFX6NYTSpwyxCLX3krS3K1zYCoASi6ojR0lPb/fO6bgWIet3rST0g2/J30ZO rdcmHJozKFUSAaLkTpvixyq1ZN5hTywracY8H6MjiZ2uLQXL/bU7sooYwWFytj78/7OLPpbHb3 iqsuG1ekAMAX7Nj1mcJ6WuCbjza1PGMzoUIhz3NylBW5QKW6PxES5CBDydr+8sUFzRArPETafe HRa1oWgAVGTIzgtdDrSTd2oL X-IPAS-Result: =?us-ascii?q?A0C5AgDucShil0JYOcJaH2qBXIImflcrBAtEhFSJBodkn?= =?us-ascii?q?RGBewsBAwELAQE1DAQBAYR9BwECAoQiHgcBBDYEDQECBAEBAQEDAgMBAQEBA?= =?us-ascii?q?QEDAQEFAQEBAgEBAgMEARMBAQEBAQEBAQkbBgwFEE9kaIFOAYF5BgQwDYI1I?= =?us-ascii?q?oNsAwMjBBFRJQImAgJXEwgBAYMAAYMaC64bfzKBAYNPARYPdoMsgWSBEC2OR?= =?us-ascii?q?zeBVUSBPAyIR4JNgmUEmBKBNJNLjyaeQDQHgX2BT4E6BguJP5RMBkKDYQGBX?= =?us-ascii?q?5EMkWWWVY0TlDaFBwIEAgQFAhaBewuBcDMaJ4M1CUUBAgECDQECAgMBAgECC?= =?us-ascii?q?QEBAgGONYNShRuFS0A0OAIGCwEBAwmRbwEB?= IronPort-PHdr: A9a23:3dCTEBIJOiPbrdidcNmcuEFsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFv7M01Q+CBdyTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yf6+94fObwlVhzexbq9+I AirpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+V rxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4 aV2Rx/ykCoJKiA38G/XhMJzgqxUrh2uqB5jzIDbe4yVKPhzc7nBcd8GS2dMXMBcXDFBDIOma IsPCvIMM/5Zr4bhoFsOqQGxBRKxD+3z0DBImn720rMg0+88FgzG2g0gEM4JsHTQttr1L70eU fqvw6nUzDXMcelW1Czz6IfWdxAhvfaMUatrccrN00UvGRnFg0yWpIf4MDybyv4DvHKH7+p8S +2vkWgnphlvrjWxwsohiofEiIwbxFza9St0wIY7KN2mRUNmf9OqEJteuz+HOoZ5Xs8vQmNlt Tg1xLAJpJK3YCYExZs5yhPebfGMboaG4hXmVOmLIDd4gmpoeK6hiBe99Eiv0PHzVtKu3FZNt CpFncHAtmwT2B3c78iIUOdy/ly71TmT0QDe7PxPL0MslafDNpIsxrE9moATvEnBBCP7m0b7g LWXe0gl4uSk9uDqb7r8qpOBNoJ5iBvyP6sul8ClH+g1PQcDUm6G8uqmzrLj51f2QLBSg/02j KbZtJfaKNwepqGjAg9V1pwv6xihADejzNQYmmALLElZeB6dgYjpIUnCIPH+Dfihn1ShiCpny vTJM7H7ApjALGLPnbTicLpn6kNRyRI/zdVF6JJVDrEBLujzWkj0tNHACB85MhC7w+HjCNpnz YMSQ3iPDbWFMKPTr1CI/PkiI+eSa48QpDb9LOEp5+XyjXMjl18dZ7Gl3Z0MZ3+gBPRpP12ZY WbwgtcGCWoGoxIyTPb2h12aTT5Te3GyUrog6T4hDYKmCZ7PRoSsgLyawCe2BYZWZ2BDClCUC 3jkbYSEW/EWaCKTOMBtiDIEVaLyA7MmgBqnsQu/z7t8MsLV/DcZvNTtzotb/erWwDcz/jtwB t/V6WiRTmxu1jcORjQx2Klk51Z01laOy4B2jvlEEplI+7VHSFFpZtbn0+VmBoWqCUr6ddCTR QP+Kj3HKTQ4T9ZqhsQLf144ANK6yBbKwyutBbYR0b2NHp09tKzGjDDqP8go7XHA2eE6ikU+B NNVPDigh6V48wHIQZTAj0SUjY6keKEA22vW6CGN1znGp1lWBTZ5Sr6NRnUDfg3TpNX96FnFS uqoCL8gNgJaj9SLNqpHcPXngFBaQ7L4JJLQeTH5gH++UDCPwL7Ed4/2YyMd0SHaXVADiBwW9 G2aOBIWAy6gpyTQATlyEhf0fwXi64GSsVudSUk5h0GPZkxljP+u/wINwOebU7UV164FvyEor 3N1Gky81pTYEYjIoQ0pZ6habd4nhTUPnWvEqwxwOIChJKF+lxYfdQpwpUbnyxRwDM1Jj8Erq HogyAc6J7if1RtNcDaR3Ja4PbOySCG6+hGkbKrfwRfE2cqX970n5vk9t1Kmpx3vGFBju3Rr3 t9J0meNs43QBVl3M9q5WUI2+h5m4rDCN3Bsu8WJijs8Ye/q7GynuZphHuYuxxe+cs0KNaqFE FS3CMgGH421L/RsnVG1bxUCNeQU9aguPsrgeeHVvczjdOtmgj+iinxKpY5n1UfZvSx9QenM1 o1D2fiE3wadfznxiUum99vr345eL2J3fCL32W3/CYhda7cnN4AKAmCqKtbx3NxihpP3c3BV8 UKkQkgansGzM0n3DRS1zUhb0kIZpmaikC2zwmlvkj0nmaGY2TTH3+XocBdv1ndjfGB5lh+sJ IG1i4tfR020d00ykwPj40/mxq9draA5Lm/JQE4OcTKkZ21lV6KxsPKFbastoNsusC5QVO2nJ 0qTVr/wuTMU3ib/GC5F2HY1bXmmt474kBpzlG+GZC8i8DyEJocglVGBupTVXpszlnIeSTN9i CXLC1T0JNSv8diO1t/Cvu24S2O9R8hWeCjvw5mHsXjz7mlrDBuj2vGrz4S2TU5njmmrh580C 3atzl60eITg2qWkPPgye0BpAAS58M9mAsRllZN2gpgM2H8cj5HT/HwdkG61P88IvMC2JHcLW zMPxMbYpQb/30g2ZHSIzIX9X27b2MJ9ZtSgSm0b3z46qttWTqmOpu8h/2M9sh+joATdbOIo1 DEcwvwq4WVcmegVuQc35iuQB6wVWFJEeyL23UftjZj2vOBcY2ChdqK13Ux1kIW6Db2MlQpbX W7wZpYoGSIjptU6Kl/H12f/r531YNSFJ8xGrQWayl2T6oodYIJ0jPcBgjBrfH7wrWFwgfBul gRghNmz7oyGJW4o5Li+Eg8eKzv0eYYd8TbokasYkNzzvcjnF8dlGzsAGobuTOztHjkVsOjqc QiUWDRut3mQXKHYBxOe5QF7qXPRVp6gMHSLKT8X17AADFGUdldanBhSUTMhxJt/GBrigcXld A0RCik5wFn+p1MMz+tpM0K6SWLDvEKzbS9yTpGDLR1Q5wUE5kHPMMXY4PghVydftoasqgCAM An5L0xBEH0JV0qYBlviIqjm5N/O9PKdD/a/KP2GaKuHqOhXXfOFjZy11Y4u8zGJP8SJdn5sa p9zklJERmx8Et/Fli8nTiUWk2TDYsuHo1Kn5mt5tIH38fjmXh7u+ZraC7ZWNoYKmVj+iqOCO uiMwSdhfG8JitVRmjmYmP5Bgg136WkmbTSmHLUeuDSYSavRnvQSFBsHc2ZoM9MO6asg3w5LM Mqdi9Xv17c+gORmbjUNHVHnhMytYtQHZm+nM1aSTkCKP7OCLCaN2cjrYK6mYbNdiflT8gas/ ziBWRyGXHzLh3zyWhajPPsZxjmcJwBbsZqhfwxFDGHiSJToZxinN5pskXs42/dn4xGCfX5ZO j96fURXq7SW5i4NmfRzFVtK6X99JPWFkSKUhwE9ApgbtOdsRz9o0exAsixSI1p96ShFQLp7l S7OqZt1vxeoiLvXotKIeBRDrypMwZmX+0t4a/yxyw== IronPort-Data: A9a23:Gnbidq2l0MuJvBpfofbD5eF3kn2cJEfYwER7XKvMYLTBsI5bpzFVm GYdUWiHbK2JZjOgLtx+Pd7koE5QvsTWytBhHAdr3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/nOH9IQMcacUsxLbVYMpBwJ1FQyw4bVvqYy2YLjW1jV6 IuoyyHiEAbNNwBcYjp8B52r80sHUMTa4Fv0aXRjDRzjlAa2e0g9VPrzF4npR5fLatU88tqBe gr25OrRElU1UPsaIojNfr7TKiXmS1NJVOSEoiI+t6OK2nCuqsGuu0o2HKJ0VKtZt9mGt89Vm NJ0k6eacyw0E7bJsr4jAjtXMQgraMWq+JefSZS+mcmazkmAfXbp3/IrF11wM5dwFuRfWDASs 6FHbmBdKE7d7w616OrTpu1EgMUoK83iJ8UFs21hwCvxA/sjXZeGWLmM68UwMDIY1pgUTK6BN qL1bxJSRirnZB9AY2s5FcIVh7eK1kT8dWFx/Qf9Sa0fujSCnVMhj9ABKuH9cdWPQYBRn12Ej nnX+nzwRBAcLt2WjzSfmk9AncfLnC3wHp8UFaP9+PVthUGegGIJYPELabeliead2kmHfel1E WcJ1zErh/IMpW6kbPCoCnVUv0W4lhIbXtNRFcgz5weM1rfY7m6l6o4sFWUphDsO755eeNA66 rOat4+2X2Ay7NV5XVrDru3M/VteLABMdQc/iTk4oRwtzeOLTGsbpB/UR9DI36mz5jEeMWutm 2jSxMTSr58UkNQE0Kq98BXpmTuqrZjECyUy4xnaNl9JAyt9ZYCuIZGu6Eae4/1HKZqUCFeb1 JTlpyR8xL1SZX1uvHXSKAnoIF1Pz6zZWNE7qQQxd6TNDxz3pxaekXl4uVmS3ntBPMceYiPOa 0TOow5X75I7FCL0MfEoPd7rU5x6lfCI+THZuhb8MIAmjn9ZKlXvwc2STRXJhQgBbWBxyf1ua crFGSpSJS9AUfo/pNZJewvt+eZ3l3FhlTy7qWHT1Rmh2KaTfhaopUQtbjOzghQCxPrc+m39q o8HX+PTkkU3eLCuM0H/rN9IRXhXfCdTOHwDg5EOHgJ1ClE9Qz9J5j646e5JRrGJaIwOz7aWp C7hAhEEoLc97FWeQTi3hrlYQOuHdf5CQbgTZ0TA5H6khCouZ5iB9qAae8dldLUr7rU6n/B5S uUCPt6cRPpVE2yV9zMYZJj7jYpjaBXy3VLQZ3v9O2lucs4yXRHN9//lYhDrqHsEAB2xuJZsu LanzA7aHccOSl06XsbbYf6i1X2run0ZlL4gVkfEOIAKKkvh9ZRtbjftyPEtepleJRLGzzqc9 gCXHRZB/bmT+95tq4iYiPnd/YmzEuZ4Ek5LJEXh7O67ZXvA426u4Y5cS+LULzrTY2X5pfe5b uJPwvCgbfAKkQoYs4d4FLo3n6sy68G2+e1fxwVgWnvGakisT6h8ZHechJEduqpIz75fmA23R kPWookEYeTRY5K0HQ5DPhchY8SCyeoQxmvY48MzLRio/yRw5reGDRhfMkXekiBbN7cpYoopz f146ZwS6gK0zAcsM8jDgCtT8niBaHIaCv11upYfCY7tqwwq1lASOMeNVXemuMmCO4dWL00nA j6In66c1b5S8Ur1bCZhH3b62+cA148FvwpHzQJcKg3RyMbFnPI+wDZY7S8zElZO1hxC3u9+U oSx25aZ+UlaE/ZUaMl/s6SEHghAAFuX90ntzB4SiCvXVSFEk4ALwHIVYY6wEIIxqgqwvQS3O JmWxWP5VnPxYIf/xEPenGZ7/uf7Q4UZGhLqwaia8gfsI3X+STToh7OpIHEU7RX9aS/0aIsru sEylNtNhWbH2eL8bkH150R2FVjddfxcGFF/fA== IronPort-HdrOrdr: A9a23:WKeYaa2QJiE4mcAfLMI2DQqjBLwkLtp133Aq2lEZdPUzSL39qy nOpoV/6faaslcssR0b9uxofZPwI080lqQFgrX5X43NYOCOggLBR72Kr7GP/9SKIUfDH4BmuJ uIP5IfNDWdYGIK6vrH3A== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,167,1643670000"; d="scan'208";a="8029079" X-MGA-submission: =?us-ascii?q?MDFusF6UD1U8fEZ2sBoS9RCXV6Sx7Xp0gAy25h?= =?us-ascii?q?3ACIE0l+A2Wu1ssrPgl+JREpA8Cl5JrW2m99g1YohDusA+mr4DlLtoDl?= =?us-ascii?q?zIchc+SBhqAmw4E+6wJcjS+uZ75XmfCjG5R75+jX9+0WRRGqTg4QZhs2?= =?us-ascii?q?0vwT+9om3QMbs/zS9Xuf39jQ=3D=3D?= Received: from lifc.univ-fcomte.fr (HELO mail.femto-st.fr) ([194.57.88.66]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Mar 2022 10:24:15 +0100 Received: from [172.16.120.234] (nat-tf.ens2m.fr [194.167.45.244] (may be forged)) (authenticated bits=0) by mail.femto-st.fr (8.15.2/8.15.2/Debian-8+deb9u1) with ESMTPSA id 2299OEDx008573 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Wed, 9 Mar 2022 10:24:14 +0100 To: caml-list@inria.fr References: From: Nicolas Ratier Message-ID: <031877b8-43f3-391b-1649-406baa70ad80@femto-st.fr> Date: Wed, 9 Mar 2022 10:24:09 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Scanned-By: MIMEDefang 2.79 on 194.57.88.66 Subject: [Caml-list] OCaml <-> TeXmacs plugin Reply-To: Nicolas Ratier X-Loop: caml-list@inria.fr X-Sequence: 18717 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Hi, I made a basic OCaml plugin for TeXmacs (http://www.texmacs.org) I would like to keep it simple, but comments and improvements are welcome. http://forum.texmacs.cn/t/ocaml-a-basic-ocaml-plugin-for-texmacs/813 Cheers, Nicolas