diff options
| author | David Aspinall | 2011-04-26 14:34:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-04-26 14:34:45 +0000 |
| commit | 9429d7e54d4674a43975577927b0e3af0d7f88b5 (patch) | |
| tree | b9a2dd0f31fdb767b5a69791b09aaf13dd7bb6b4 /isar/Example.thy | |
| parent | 2e8d04795dbac93e69a9ac3226ba282013bf8bdb (diff) | |
Patch: font-lock-beginning-of-syntax-function -> syntax-begin-function to work with Emacs 23.3. May break work with earlier versions.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions