Available documentation

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.