From mboxrd@z Thu Jan  1 00:00:00 1970
X-Sympa-To: caml-list@inria.fr
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 q1MHB35m009363
	for <caml-list@sympa-roc.inria.fr>; Wed, 22 Feb 2012 18:11:03 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoECAM0gRU/UGyoGkWdsb2JhbABEskgiAQEBAQkLCxsDJIJNJT0WGAMCAQIBWAgBAQWHe55GmEeMSwwVGAECCwQFAgsCCAMCBQoTAgUDAoUcAgI0DAY4gx4ElTiFXY0R
X-IronPort-AV: E=Sophos;i="4.73,465,1325458800"; 
   d="scan'208";a="132474013"
Received: from smtp6-g21.free.fr ([212.27.42.6])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 22 Feb 2012 18:10:57 +0100
Received: from [128.93.135.189] (guest-rocq-135189.inria.fr [128.93.135.189])
	(Authenticated sender: tiphaine.turpin)
	by smtp6-g21.free.fr (Postfix) with ESMTPA id 1BD1A8227A
	for <caml-list@inria.fr>; Wed, 22 Feb 2012 18:10:46 +0100 (CET)
Message-ID: <4F452F9F.4050203@inria.fr>
Date: Wed, 22 Feb 2012 19:10:39 +0100
From: Tiphaine Turpin <Tiphaine.Turpin@inria.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:8.0) Gecko/20111221 Thunderbird/8.0
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Validation-by: tiphaine.turpin@inria.fr
Subject: [Caml-list] [ANN] TypeRex release 1.0.0 candidate 1

Hi everyone,

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