From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q22K1ogY008225 for ; Fri, 2 Mar 2012 21:01:50 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArEBAIcmUU/RVdS2kGdsb2JhbABDgkWxbAgiAQEBAQkJDQcUBCOBfgEBBBICLAE4AQMMAQUFBAEGOyISAQUBHAYTCRmHZAubdgqOY4UxiTMBBQuPWQSVPoccUoZHPYFTgjE X-IronPort-AV: E=Sophos;i="4.73,519,1325458800"; d="scan'208";a="134082093" Received: from mail-wi0-f182.google.com ([209.85.212.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Mar 2012 21:01:45 +0100 Received: by wibhn6 with SMTP id hn6so514768wib.27 for ; Fri, 02 Mar 2012 12:01:45 -0800 (PST) Received-SPF: pass (google.com: domain of bozman.cagdas@gmail.com designates 10.216.131.232 as permitted sender) client-ip=10.216.131.232; Authentication-Results: mr.google.com; spf=pass (google.com: domain of bozman.cagdas@gmail.com designates 10.216.131.232 as permitted sender) smtp.mail=bozman.cagdas@gmail.com; dkim=pass header.i=bozman.cagdas@gmail.com Received: from mr.google.com ([10.216.131.232]) by 10.216.131.232 with SMTP id m82mr78867wei.71.1330718505262 (num_hops = 1); Fri, 02 Mar 2012 12:01:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; bh=4az7jLlK8mBIlmfUhqPmJ3J3IqsFxmWbXRPiKb+nROI=; b=rbs1fIj8W6F6hh7OewDskPyRohv03WVUURgJWQjZf5WsCOUWiCyYIyORkSzmM2AJWK u7AW5htBxfBa1EXfavkC1LExKUl9q161BLCUcpxHI0++DMpF7E98FqPk0/u5SR+5ioFc QX8DCfO8mY0CDfmhFCiXBAu99NsUva8rSazRgpWLMiuGtNP393+RtxcOiUNPmg97Demw 7HT4edzh72xt2qqPTePyVzzH5SaFvm1CTf21NIKjaWFc/WG1131plGC8tw+274ZFXw3g 1NXViKCc0k+k6Pop+0V55vw/sc5ddT3s4uW64ELX7e/7a2iWa14IIgoW8cO5Q+zU7PQC YFWA== Received: by 10.216.131.232 with SMTP id m82mr72454wei.71.1330718505128; Fri, 02 Mar 2012 12:01:45 -0800 (PST) MIME-Version: 1.0 Sender: bozman.cagdas@gmail.com Received: by 10.180.98.67 with HTTP; Fri, 2 Mar 2012 12:01:25 -0800 (PST) In-Reply-To: <4F5124B0.9050709@laposte.net> References: <4F452F9F.4050203@inria.fr> <4F5124B0.9050709@laposte.net> From: =?ISO-8859-1?Q?=C7agdas_Bozman?= Date: Fri, 2 Mar 2012 21:01:25 +0100 X-Google-Sender-Auth: lLTK66GFEAwor1DQKkPPupWcU7A Message-ID: To: Vu Ngoc San Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=0016e6da966ccb54b804ba480b91 Subject: Re: [Caml-list] [ANN] TypeRex release 1.0.0 candidate 1 --0016e6da966ccb54b804ba480b91 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable 2012/3/2 Vu Ngoc San > > thanks for this nice tool, I've been using it for some days. > First the color scheme seemed ugly and not practical to me, but I guess > I'm slowly getting used to it. > > You can change choose a tuareg like theme if you want or customize you own colours. You can read more in the manual here http://www.typerex.org/manual-setup.html in "Typerex syntax coloring" section. Concerning indentation: apparently it doesn't properly recognize the chars > ')' and '(': > TypeRex do not implement indentation yet. A re-implementation is planed, but for now we use the tuareg mode's implementation. --=20 =C7agdas Bozman --0016e6da966ccb54b804ba480b91 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
2012/3/2 Vu Ngoc San <san.vu-ngoc@laposte.net>
thanks for this nice tool, I've been using it for some days.
First the color scheme seemed ugly and not practical to me, but I guess I&#= 39;m slowly getting used to it.


You can change choose a tuareg like th= eme if you want or customize you own colours. You can read more in the manu= al here=A0http://www.t= yperex.org/manual-setup.html=A0in "Typerex syntax coloring" s= ection.

Concerning indentation: apparently it doesn't properly recognize the ch= ars ')' and '(':

TypeRe= x do not implement indentation yet. A=A0re-implementation is planed, = but for now we use the tuareg mode's implementation.

--
=C7agdas Bozman
--0016e6da966ccb54b804ba480b91--