Next: 3. Editor
Up: 2.5 Options
Previous: 2.5.5 Firing strategy
2.5.6 Line length
This
information is necessary for the formatting of the output file
SESSION.ina, and is thus to some degree also
effective for the screen. If
your screen or your printer is capable of more than 80 columns, you can
change the value accordingly, so that the output
is more readable (maximal value: 255 columns).
Next: 3. Editor
Up: 2.5 Options
Previous: 2.5.5 Firing strategy
© 1996-99 Prof. Peter H. Starke (starke@informatik.hu-berlin.de) und Stephan Roch (roch@...)
INA Manual Version 2.2 (last changed 1999-04-19)