From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1N14qOF020773
	for <caml-list@sympa-roc.inria.fr>; Thu, 23 Feb 2012 02:04:53 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhcEAFyQRU9QW+UDgWdsb2JhbABEoTyDLY1xIgEBFiYngXMBAQU4JC0LGC4QEzQTCAEBBYd7rSKIED+BEo0EFRgBAgsEBQILAggDAgUCEAEMBQMChRYQLgwGOIMeBIhPjGmTCw
X-IronPort-AV: E=Sophos;i="4.73,467,1325458800"; 
   d="scan'208";a="145526833"
Received: from plane.gmane.org ([80.91.229.3])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 23 Feb 2012 02:04:34 +0100
Received: from list by plane.gmane.org with local (Exim 4.69)
	(envelope-from <gclci-caml-list@m.gmane.org>)
	id 1S0N6l-0001A4-FL
	for caml-list@inria.fr; Thu, 23 Feb 2012 02:04:31 +0100
Received: from vpl518.wireless-pennnet.upenn.edu ([130.91.142.7])
        by main.gmane.org with esmtp (Gmexim 0.1 (Debian))
        id 1AlnuQ-0007hv-00
        for <caml-list@inria.fr>; Thu, 23 Feb 2012 02:04:31 +0100
Received: from bobzhang1988 by vpl518.wireless-pennnet.upenn.edu with local (Gmexim 0.1 (Debian))
        id 1AlnuQ-0007hv-00
        for <caml-list@inria.fr>; Thu, 23 Feb 2012 02:04:31 +0100
X-Injected-Via-Gmane: http://gmane.org/
To: caml-list@inria.fr
From: Hongbo Zhang <bobzhang1988@gmail.com>
Date: Wed, 22 Feb 2012 20:04:21 -0500
Message-ID: <ji43al$ckt$1@dough.gmane.org>
References: <4F452F9F.4050203@inria.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: usenet@dough.gmane.org
X-Gmane-NNTP-Posting-Host: vpl518.wireless-pennnet.upenn.edu
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2
In-Reply-To: <4F452F9F.4050203@inria.fr>
Subject: [Caml-list] Re: [ANN] TypeRex release 1.0.0 candidate 1

On 2/22/12 1:10 PM, Tiphaine Turpin wrote:
> Hi everyone,
Hi, I tested on Aquamacs, too slow... ( I did not turn on auto complete )
>
> We are pleased to announce the first release candidate of TypeRex, a new
> OCaml development environment, developed by OCamlPro and Inria Saclay.
> This version of TypeRex only integrates with Emacs and brings a
> collection of new features that programmers expect from a modern IDE.
> Next versions will target more editors.
>
> Downloads, screenshots, documentation, support and feedback
> instructions are available on TypeRex website at:
>
> http://www.typerex.org/
>
> Summary of TypeRex features:
>
>      * Improved syntax coloring
>      * Auto-completion of identifiers (experimental)
>      * Browsing of identifiers: show type and comment, go to definition,
>        cycle between alternate definitions, and semantic grep;
>      * Strictly semantic-preserving, local and whole-program refactoring:
>            o renaming identifiers and compilation units
>            o open elimination and reference simplification
>      * Robust /w.r.t./ not-recompiled, possibly unsaved buffers
>      * Scalable (used regularly on a few hundreds of source files)
>
> Auto-completion is disabled by default, since more testing is still
> needed for this feature.
>
> TypeRex is written in OCaml, communicating through a socket with the
> OCaml mode of the editor (currently Tuareg for Emacs, OCAIDE for Eclipse
> soon).
>
> All the features of the Tuareg mode are also included, even when we
> provide an equivalent for them.
>
> Beta testers, enjoy!
>
> Tiphaine Turpin
> Thomas Gazagnaire
> Fabrice Le Fessant
>
>
>
>