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 13AAC5D4 for ; Wed, 11 Mar 2020 09:54:38 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,540,1574118000"; d="scan'208";a="439801886" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Mar 2020 10:54:37 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id D9DCC7F455; Wed, 11 Mar 2020 10:54:37 +0100 (CET) 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 907477EEA4 for ; Wed, 11 Mar 2020 10:54:33 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=Pass smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@relay1-d.mail.gandi.net IronPort-PHdr: =?us-ascii?q?9a23=3AfyHAXxRQzUhh2nxiLgP2xzMhitpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6ybRyN2/xhgRfzUJnB7Loc0qyK6vymADZaqs7f+Fk5M7VyFDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjeu8UMnIduNLg9xhTVrnZJZu?= =?us-ascii?q?9b2X5mKVWPkhnz4cu94IRt+DlKtfI78M5AX6T6f6AmQrFdET8rLWM76tD1uBfa?= =?us-ascii?q?VQeA6WcSXWsQkhpTHgjK9wr6UYvrsiv7reVyxi+XNtDrQL8uWDSi66BrSAL0iC?= =?us-ascii?q?oCKjU0/n3bhtB2galGux+quQBxzJDIb4GULPp+f73SfdUGRWpaQ81dUzVNDp6g?= =?us-ascii?q?Y4cTCuYMO/tToYvgqFsUtRawCwmiCv3sxDFViXD5waI03Pk6HAHaxQwtBc4CvG?= =?us-ascii?q?jIoNj3MqoZTOC7zLPPzTXGd/5Y1y3y6I7Jch8/pfGDRa99adbXyUguEwPFj0ib?= =?us-ascii?q?pIv4MDyP0OQNsnaU7+56We20lm4otQdxozmrxsctkYTGmJgVykre+iVlwYY1PM?= =?us-ascii?q?C4R1BhbdG4EJtdrieXPJZ4TMMlRmFnoic6yrsetJ6meigKyYgoxxnCZPOZaYSI?= =?us-ascii?q?5QjjVOmJLThmnnJlYqiwhwqz8Ui51+3zSNO430pKridDj9LCtWgN2gTN5sSaSP?= =?us-ascii?q?Zx5EWs1SqV2wzO6exJL1o4mbffJpMv2rI8i5gevEfZEiPrnEj7jrWaelsq9+Wn?= =?us-ascii?q?8ejrfKjqqoKaOoRpkA/xKL4ulda6AekgMggBQWyb+eOk2b3540L5RK9Fj/0rnq?= =?us-ascii?q?XArZ/WP8EbqbS4Aw9RyIoj5AywDzG739QZh3UHKkxKeA6fg4joPVHBPuz4AO+h?= =?us-ascii?q?j1ixkjpn3fLLMqH7DpnQLXXOnq3tcat55kNS0AYzyMpQ55NQCrEPOvLzXUrxuc?= =?us-ascii?q?TFARAjNQy0wvjoCNFn2owFRGKAHKmZMaLWsV+J/e8gPfOMZJUPtzbhKvgl/uPu?= =?us-ascii?q?gmEjlVABfamlxYEXZ2ygHvR6P0WZZmLhjcsbHmcPugoyVejqiFyZUT5PfHuyRK?= =?us-ascii?q?I95jQjCI28F4vDR4atgKaA3CihBJFWaHpGWRiwFiLjfoCAHvMNcz66I8l7kzVC?= =?us-ascii?q?W6LyZZUm0ESCvQn7xr5QBH7S6CkZ/cbv3d506umVnww/8y5wDuyQyXuEU2Btg2?= =?us-ascii?q?5OTD9gj/M3mlB01lrWifswuPdfD9EGoqoRCl5rZ66Z9PRzDpXJYiyEe96ITFi8?= =?us-ascii?q?RdD/XWM8VMg4394Xfks7ENXw10mejRrvOKcckvmwPLJx8q/Y2CKsddxwz3/Xje?= =?us-ascii?q?wtyVwvQ88JOmSgiq858QXPVdaQzxep0p2yfKFZ5xbjsX+ZxDPS7kxCSgdsULzY?= =?us-ascii?q?UDYUZhmOoA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CaAgBytGheh8G3RtllHgELHIUQVjEqC?= =?us-ascii?q?oQLYY4ogWybYwkBAwEMJQgCBAEBgU+CdIINHAcBBDQTAhABAQUBAQECAQIDBAE?= =?us-ascii?q?TAQEBCA0JCCmFXQyCOykBgwMlUAY1AiYCSYNPAYJ/C6lWgTKENQETQUCEB4EEg?= =?us-ascii?q?Q4qhSENhn6CGoFEgjODRQsBAgECgT8BAW2CRC6CMASNXoMJn0cHgUl2hmprjzO?= =?us-ascii?q?CSoEBi3GLfosThTeHMJJ+gWlmgRSELAkJPhgNjjeDMYU8hUJBMgKBBiGMNgGBD?= =?us-ascii?q?wEB?= X-IPAS-Result: =?us-ascii?q?A0CaAgBytGheh8G3RtllHgELHIUQVjEqCoQLYY4ogWybYwk?= =?us-ascii?q?BAwEMJQgCBAEBgU+CdIINHAcBBDQTAhABAQUBAQECAQIDBAETAQEBCA0JCCmFX?= =?us-ascii?q?QyCOykBgwMlUAY1AiYCSYNPAYJ/C6lWgTKENQETQUCEB4EEgQ4qhSENhn6CGoF?= =?us-ascii?q?EgjODRQsBAgECgT8BAW2CRC6CMASNXoMJn0cHgUl2hmprjzOCSoEBi3GLfosTh?= =?us-ascii?q?TeHMJJ+gWlmgRSELAkJPhgNjjeDMYU8hUJBMgKBBiGMNgGBDwEB?= X-IronPort-AV: E=Sophos;i="5.70,540,1574118000"; d="scan'208";a="439801869" X-MGA-submission: =?us-ascii?q?MDHql5mI9wSRbeqnJ0HYut/VVLO33fRyHseQqw?= =?us-ascii?q?JD7G8Q9Oz5xBLp+6G73U9TJCf9w55DyCVcz+lUXgAz9aKNSAqtY9u4VS?= =?us-ascii?q?XQIPkWoWzEiFi9zJBS+hUOvP65i2E5eP2yY3fLj+Ods34P9lHixqglml?= =?us-ascii?q?kMQ3l7/CgCWLjQruXIJ5N3Pg=3D=3D?= Received: from relay1-d.mail.gandi.net ([217.70.183.193]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Mar 2020 10:54:33 +0100 X-Originating-IP: 178.197.234.211 Received: from hehey.local.mail (211.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch [178.197.234.211]) (Authenticated sender: daniel.buenzli@erratique.ch) by relay1-d.mail.gandi.net (Postfix) with ESMTPSA id 775DB240012; Wed, 11 Mar 2020 09:54:32 +0000 (UTC) Date: Wed, 11 Mar 2020 10:54:31 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: caml-list@inria.fr Cc: =?utf-8?Q?David_Kaloper_Mer=C5=A1injak?= Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: [Caml-list] Unicode 13.0.0 update for Uucd, Uucp, Uunf and Uuseg Reply-To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Loop: caml-list@inria.fr X-Sequence: 18051 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Hello,=C2=A0 Unicode 13.0.0=C2=A0was released on the 10th of march. It adds 5390 characters to the standard including graphic symbols for leg= acy computing. If you were looking for characters representing seven-segm= ent decimal digits, now you =5Bhave them=5D=5B0=5D. =46or the curious, th= e =5Bencoding proposal=5D=5B1=5D has the motivation and source of these n= ew symbols. =46or more information about all the other additions, see =5B= this page=5D=5B2=5D.=C2=A0 Accordingly the libraries mentioned at the end of this message had to be = updated, consult the individual release notes for details. Both Uucd and = Uucp are incompatible releases sinces new script and block enumerants had= to be added. Uucp has a new Emoji module with the new emoji properties introduced in 1= 3.0.0 which are now used by Uuseg to improve emoji segmentation. The over= all compiled size of Uucp shrinked a bit; here uucp.cmxs went from 7.8Mo = to 4.6Mo. =46urther reduction can likely be achieved with more work. Than= ks to David Kaloper Mer=C5=A1injak for helping on this. A periodic reminder, if Unicode still puzzles you, read an absolute minim= al Unicode introduction and OCaml Unicode tips on =5Bthis page=5D=5B3=5D = (also available via =60odig doc uucp=60). Happy retro computing, Daniel P.S. The OCaml compiler =5Bdetected=5D=5B4=5D an obsolete rule in the 13.= 0.0 update of the Unicode line breaking algorithm. =5B0=5D:=C2=A0https://www.unicode.org/charts/PD=46/U1=46B00.pdf =5B1=5D:=C2=A0https://www.unicode.org/L2/L2019/19025-terminals-prop.pdf =5B2=5D:=C2=A0http://blog.unicode.org/2020/03/announcing-unicode-standard= -version-130.html =5B3=5D:=C2=A0https://erratique.ch/software/uucp/doc/unicode.html =5B4=5D:=C2=A0https://www.unicode.org/mail-arch/unicode-ml/y2020-m03/0000= .html --- Uucd 13.0.0 Unicode character database decoder for OCaml. http://erratique.ch/software/uucd Uucp 13.0.0 Unicode character properties for OCaml. http://erratique.ch/software/uucp Uunf 13.0.0 Unicode text normalization for OCaml. http://erratique.ch/software/uunf Uuseg 13.0.0 Unicode text segmentation for OCaml. http://erratique.ch/software/uuseg