New Features of Eli4.0
The library modules of version 3.6 that have been marked outdated in version 3.8 are removed now. See Migration of Eli Version 3.6 modules of Migration of Old Library Module Usage, for migration.
All changes to modules of version 3.8 which may require updates in existing specifications are described in Migration of Eli Version 3.8 modules of Migration of Old Library Module Usage.
Modules that do not have a generic parameter are used by their
name occurring in a `.specs' file, rather than by
Symbol roles that issue a message are separated from roles that compute the condition for such messages. Hence, the message roles can be substituted by individual ones.
Solutions of common type analysis tasks are supported by the following new modules:
In the abstract data type library the
In the output library, two modules for support of pretty printed output have been added. Pretty Printing of Specification Module Library: Generating Output, is a module for the support of word wrapping at a specified right margin. Typesetting for Block Structured Output of Specification Module Library: Generating Output, is designed to output block-oriented program text. Both modules are very similar and use the new Ptg-Feature of post-processed output.
Many details in the name analysis modules are improved. The significant modifications are described in more detail in Migration of Eli Version 3.8 modules of Migration of Old Library Module Usage. It is recommended to check the tables of changed modules and modified features for adaption of existing specifications.
Most specifications will be affected by the change of the
The generic paramerisation of the