OPL language options
Presents each individual OPL Language option you can set in the settings editor.
Introduction
Provides an overview of the options available for the display of OPL language items.
Setting language options
How to consult or change OPL language options.
Description of the OPL language options
Lists the options available for the display of OPL language items and their default values.
Parent topic:
Parameters and Settings in OPL