Efuns/GwML

Efuns is a small text editor, entirely written in Objective-Caml.

Compared to Emacs, it offers the following features:

Unlike Emacs which uses Lisp for dynamic extension, Efuns uses Objective-Caml. Advantages of Caml on Lisp are numerous. In particular, static typing gives some security before loqding a module inside the editor. Of course, Efuns can compile a module and immediately load it with the "ocaml-eval-buffer" function.
As Efuns is written in Caml, configuration modules can be integrated directly in the sources when they are mature.
Efuns is cheaper than Emacs in ressources (memory, CPU).
Efuns integrates lots of Emacs features (undo, minibuffer, accents, compilation with error search, regexps, indentation, completion,...) and some special modes (TeX, Caml, HTML, Makefile, ...). As it was in born in october 1998, it can still evolve a lot ...
Its interoperability with Caml is really interesting. For example, it can understand Caml binary files to get more informations on compiled modules. Indeed, Efuns already integrates a "ocaml-print-type" function to print the type of values in compiled modules.
It can use modules generated by Ocamllex and Ocamlyacc, which makes analysing sources files more efficient. Indentations, colorisations and indexing is then easier.

The Efuns package also includes:

The WXlib library (a library of widgets which can be used to build interfaces for Ocaml programs)
Efuns integrates menus, and soon scrollbars.

The Toplevel library (to evaluate ocaml expressions even in native programs)
pacman the famous game, rewritten by Sylvain Conchon.
New option -talk for GwML when build with the toplevel library to start a toplevel on stdin/stdout, and access GwML internals at runtime.

The Xlib library, an implementation of the X protocol in Ocaml, plus Xpm (pixmaps), Xshade (shaded windows), Xrm ( ressources), etc ...
The AsmDynlink library, an implementation of the Dynlink library which works even with native programs.

On this CDROM, you will find:

The sources for Efuns (version 017 with WXlib and GWML). To compile Efuns, you need Objective-Caml version 2.01 at least.
Linux RPMS: containing Efuns and GwML (to modify the configuration files, use "gwml -c" or "efuns -c" to avoid a clash between your Ocaml version and the one used to compile these RPMS, use "gwml -cm" to set Control+Alt as your window-manager modifier instead of mod5(mine)).
A screen-shot of my desktop with Efuns(editor) and Gwml(window-manager).
GwML documentation (compressed postscript 86Ko)
wXtoolkit documentation (compressed postscript 129 ko)
Some compiled executables for Alpha Linux (016) , Alpha OSF 4.0 (003) , Intel Linux (016) . To try these binaries, you do not need Objective-Caml installed.

You can also find the lattest versions on our WEB site.