caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Hongbo Zhang <bobzhang1988@gmail.com>
To: caml-list@inria.fr
Subject: [Caml-list] Re: [ANN] TypeRex release 1.0.0 candidate 1
Date: Wed, 22 Feb 2012 20:04:21 -0500	[thread overview]
Message-ID: <ji43al$ckt$1@dough.gmane.org> (raw)
In-Reply-To: <4F452F9F.4050203@inria.fr>

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
>
>
>
>



  parent reply	other threads:[~2012-02-23  1:04 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-02-22 18:10 [Caml-list] " Tiphaine Turpin
2012-02-22 17:32 ` Dmitry Grebeniuk
2012-02-22 17:45   ` Thomas Gazagnaire
2012-02-22 20:55 ` Daniel Bünzli
2012-02-23  0:46   ` Daniel Bünzli
2012-02-23  1:04 ` Hongbo Zhang [this message]
2012-02-23 11:22   ` [Caml-list] " Thomas Gazagnaire
2012-03-02 19:51 ` [Caml-list] " Vu Ngoc San
2012-03-02 20:01   ` Çagdas Bozman
2012-03-06 12:02 ` Stefano Zacchiroli
2012-03-06 14:27   ` Tiphaine Turpin

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='ji43al$ckt$1@dough.gmane.org' \
    --to=bobzhang1988@gmail.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).