|
The options that are important for history streams are:
|
|
|
history_checks
|
When
TRUE (default), additional checks are done on the integrity of the history stream data structure. When
FALSE, no checks are done.
|
|
|
logging
|
When
TRUE (default), bulletin boards and delta states are visible at the application level (it logs a change to the history stream). The bulletin boards are not deleted when the next one is open; they remain available. When
FALSE, each bulletin board is deleted as soon as the next is opened (logging to the history stream is turned off).
|
|
This is the one
option:set parameter that can be changed after a model has been created.
|