TypeRex 1.0.0 =========== We are very pleased to announce the first major release of TypeRex, a development environment with refactoring capabilities for OCaml. TypeRex is an open-source software licensed under the GPL and developed by OCamlPro and INRIA.
Summary of TypeRex features ----------------------------------------- * 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 * Auto-completion of identifiers (experimental) * Improved syntax coloring * Robust /w.r.t./ not-recompiled, possibly unsaved buffers * Scalable (used regularly on a few hundreds of source files) How to get it ----------------- The easy way is to go to the web page, which should be self-explanatory: http://www.typerex.org Sources are available on github: https://github.com/OCamlPro/typerex Changes from 1.0.0rc2 ------------------------------- The main changes from 1.0.0rc2 are: * Renaming of faces, which requires prior color customization to be renamed accordingly * Binary compatibility with OCaml 3.11.2 * Flymake support (contributed by Wojciech Meyer) The full list of changes is available here: https://github.com/OCamlPro/typerex/blob/master/Changelog.txt Many thanks to our early users for their support and feedback, Tiphaine Turpin Thomas Gazagnaire Fabrice Le Fessant -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs