diff options
| author | Pierre Courtieu | 2015-02-24 14:40:20 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2015-02-24 14:40:20 +0000 |
| commit | 17185897996db7c001b9c5c1e0cbef8860388e07 (patch) | |
| tree | d1dd2bde37336a748519b4c1362f7125a6f47749 /isar/Example.thy | |
| parent | c85d28df72efb16d0652c85af3ad2ea0138d773a (diff) | |
Making freeze buffer hace coq-response-more.
So that shortcuts work from this buffer.
+ colorizing.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions