From: Tiphaine Turpin <Tiphaine.Turpin@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] [ANN] TypeRex release 1.0.0 candidate 1
Date: Wed, 22 Feb 2012 19:10:39 +0100 [thread overview]
Message-ID: <4F452F9F.4050203@inria.fr> (raw)
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
next reply other threads:[~2012-02-22 17:11 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-22 18:10 Tiphaine Turpin [this message]
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 ` [Caml-list] " Hongbo Zhang
2012-02-23 11:22 ` 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=4F452F9F.4050203@inria.fr \
--to=tiphaine.turpin@inria.fr \
--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