This .gitignore file ignores the model checking results
(*.tla/*.cfg/*.out) which might not be desirable if one wants to keep
the history and outcome of TLC runs on intermediate stages of the spec.
Note that the three file types are just text and can thus be
efficiently compressed by git.
If one does not want to keep snapshots and thus any history, "Number of
model snapshots to keep" on the Toolbox's "TLC Model Checker" preference
page can be set to zero to stop the Toolbox from creating snapshots.
M.