next up previous contents index
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 up previous contents index
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