Next: The Option ``switch''
Up: The Options of ``malaga''
Previous: The Option ``robust'' (malaga)
  Contents
There are different ways to determine the order in which the attributes of a
record are printed. With sort-records, you can choose between three
order schemes:
- ``set sort-records internal'': The attributes will be printed in
the order they have internally.
- ``set sort-records alphabetic'': The attributes will be ordered
alphabetically by their names.
- ``set sort-records definition'': The attributes will be ordered by
their names; the order is the same as in the symbol table.
Bjoern Beutel