diff options
| author | David Aspinall | 2002-01-16 15:58:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-16 15:58:55 +0000 |
| commit | ed088ca5effe069d760a5472e916a2342f70552b (patch) | |
| tree | 1ff25ec73c8adad98a19c8f8cdd25cf37eb0ed26 /isar/Example.thy | |
| parent | 420b8d775d73650b29234a5f8c2c26ddb66c1c34 (diff) | |
Document the tracing buffer; FSF Emacs -> GNU Emacs
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions