diff options
| author | David Aspinall | 2002-08-30 09:42:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-30 09:42:11 +0000 |
| commit | 4bd424dc4e077d0ffc9446d0f58c4a3dcea6f14a (patch) | |
| tree | 3df9215d2038b6fca2acdabf98c6c4412684268c /isa/Example.thy | |
| parent | 4c1ac4904b1c63574dddc5a49458b0960a7255c3 (diff) | |
Patch from Stefan Monnier for using nested-comment aware parser on GNU Emacs.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions