diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 22:03:06 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 22:03:06 +0000 |
| commit | 7e71b7cad73922de03652ae9e61a13c6d7fc5b46 (patch) | |
| tree | 51bb96dce0a13b339c397d310573918d3eb105db /etc/isar | |
| parent | cd458e48a5c4ab163ade24bdd09304d9d28c3251 (diff) | |
Add Emacs 23 warning.
Diffstat (limited to 'etc/isar')
| -rw-r--r-- | etc/isar/TokensAcid.thy | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/etc/isar/TokensAcid.thy b/etc/isar/TokensAcid.thy index a7f146f2..60c4ff06 100644 --- a/etc/isar/TokensAcid.thy +++ b/etc/isar/TokensAcid.thy @@ -1,6 +1,10 @@ -(* Some acid tests for token modes in Isabelle +(* + Some acid tests for token modes in Isabelle David Aspinall, 2008-9. $Id$ + + Note: + Unicode Tokens mode works much better in Emacs 23 than 22. *) theory TokensAcid imports Main |