From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id D489ABC57 for ; Sat, 6 Mar 2010 12:46:07 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnQBANnOkUvRVdrakGdsb2JhbACTOogJCBUBAQEBCQkMBxMDH6cUhGOIdgEBAwWEcwSMHg X-IronPort-AV: E=Sophos;i="4.49,593,1262559600"; d="scan'208";a="46021472" Received: from mail-bw0-f218.google.com ([209.85.218.218]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 Mar 2010 12:46:07 +0100 Received: by bwz10 with SMTP id 10so151213bwz.22 for ; Sat, 06 Mar 2010 03:46:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:from:date:x-google-sender-auth:message-id:subject:to:cc :content-type; bh=Mzw+bYPMV6chaxiPOHjnSzkBUxisaC/x+p+2Z18gfvo=; b=in9efIcMUeaJTJVf18CKGpSlCIzFNSlrxRqI9Vjou7qf5J3VrTkb+dzyuiev+DZ9c4 kWisl2JYrulS8CABpvIhr2hXJDmJNUcmvDgq956OS+MSwJZZ3t4rzohq1SOAXn2Flk8X Ewy+yo3vKrZNqtQcOlRxPQdNrPnpi6dpsMz8g= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; b=OnBDqzjoMqpw0IxwpJgjRKaiyDG4Gz8J8VspOfwsjQGEzTNqYjHdiA5YQ151VAaVL8 V855Pf/TArCspR7Gwh+BfjWOKkYOco5q8bpZGEyIemvyNnUmmppTQHFp6aGGOUiTZJ+k 2BbQ3GMve6pOEfnHK3Ja3FzjlweEn/UgEVqWw= MIME-Version: 1.0 Sender: dapilki@gmail.com Received: by 10.204.36.202 with SMTP id u10mr1540194bkd.65.1267875966237; Sat, 06 Mar 2010 03:46:06 -0800 (PST) In-Reply-To: <926565e51003060106s41693f1fqe24b862d42c3b656@mail.gmail.com> References: <9020d4c51003050851xe9f2a7ftf9fd2cc9deae40d6@mail.gmail.com> <926565e51003060106s41693f1fqe24b862d42c3b656@mail.gmail.com> From: Alexandre Pilkiewicz Date: Sat, 6 Mar 2010 12:45:45 +0100 X-Google-Sender-Auth: faa733f314cba596 Message-ID: <9020d4c51003060345m53badfeawcedc1c11bb08475d@mail.gmail.com> Subject: Re: [Caml-list] [MLPost] Curly brances To: Johannes Kanig Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; height:98 caml-list:01 caml:02 width:97 latex:02 seems:03 float:03 float:03 macro:03 compiled:04 size:95 size:95 install:05 function:08 concrete:08 Hi Thanks for the answer 2010/3/6 Johannes Kanig : > The second option is to obtain the intended size (using Box.height / > Box.width etc.), get a float value of this size using the > Concrete.float_of_num function and generate the curly brace using the > corresponding latex macro. I'm trying that one and it seems pretty good, except that my mlpost (compiled from godi) does not support Concrete. Is it because I'm on a mac, or for something else ? Also, it's version 0.7.1, which is not up to date (but I don't like to install caml software by hand when it is in godi). I can already do my drawing since I know the size of my object, so thank you! Alexnadre