diff options
| author | David Aspinall | 2001-12-11 17:50:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 17:50:25 +0000 |
| commit | 6f23f45de95d60f07a0699f94a4abe6944c0f0b8 (patch) | |
| tree | 7fe3c1c486ee546d7b8018d7dc5a1a35760bb8a5 /isar/Example.thy | |
| parent | 2d577ad5ba24a292fe1b47aafcfb5c26efe5c533 (diff) | |
Be politically correct about FSF GNU Emacs; update to mention version 21.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions