The EiffelNet Library

Welcome to the on-line introduction to the EiffelNet Library.

This is copyrighted material. You are welcome to browse, as in a bookstore, but you may not download any part of this material, copy it in any way, or print it; to do so would be a violation of the copyright.

If you accept these provisions please click HERE to browse the on-line EiffelNet Library Manual starting with the beginning of the document, or THERE to start from the table of contents.

Credits

All the material in EiffelNet Library Manual is copyright ISE, 1994-1995. This manual was written by Patrice Rolland and Bertrand Meyer. These on-line manual pages were created by the second author thanks to the fm2html filter, which converts FrameMaker documents to HTML. The filter is copyright Norwegian Telecom Research and was written by Jon Stephenson von Tetzchner (jons@nta.no). The output was manually adapted by Arnaud Mouronval from ISE.

Software credits: EiffelNet was developed by Glen Smith, David Morgan and Patrice Rolland.