Next: Shipped components
Up: OptimixRelease notes for 2.5
Previous: Installation of the OPTIMIX
There are several files which support documentation for :
- doc/relnotes.ps: release notes, please read them first!
- doc/language.ps: language definition report
- doc/optimix-tutorial.ps: language tutorial, still in preliminary shape
- doc/optimix.1: man page
- doc/ears.ps: fundamental article on EARS, serves to give
the main definitions to understand the language definition
- doc/xgrs.ps describes exhaustive GRS (XGRS, graph rewrite systems)
usable for transformations.
- autotest contains subdirectories with a lot of example
specifications. These files are used for regression testing of .
Also some libraries are shipped with . Their documentation can be
found in
- doc/sollib.ps: The sol-library for graph and set functors.
- doc/usefullib.ps: Some useful functions.
- doc/reuse-plus.ps: Some functions extending
Cocktail-9209-reuse-library.
Uwe Assmann
1998-12-22