diff options
| author | David Aspinall | 2001-08-31 11:34:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-31 11:34:52 +0000 |
| commit | 2fd0b8278f0c455e07bdba83cd5299589ad9c847 (patch) | |
| tree | 5aba76fd71fb9b6681f144dca7aa28dd0dff2755 /FAQ | |
| parent | e065b530807f96ec06bc8ad51dfbe776ad88e8fc (diff) | |
Add setting for turning on theorem dependency tracking
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions