Next: 3. Editor
Up: 2.5 Optionen
Previous: 2.5.5 Schaltstrategie
2.5.6 Zeilenlänge
Diese
Angabe wird zur Formatierung der Ausgabedatei SESSION.ina
benötigt und ist dadurch auch teilweise für den Bildschirm wirksam.
Wenn Ihr Bildschirm oder Ihr Drucker mit mehr als 80 Spalten arbeitet,
so ändern Sie den Wert entsprechend, so daß die Ausgaben (zum
Beispiel der Zustandsgraph als Baum) besser lesbar werden
(Maximalwert: 255 Spalten).
Next: 3. Editor
Up: 2.5 Optionen
Previous: 2.5.5 Schaltstrategie
© 1996-98 Prof. Peter H. Starke (starke@informatik.hu-berlin.de) und Stephan Roch (roch@...)
INA Handbuch Version 2.1 zuletzt geändert: 1998-03-24