diff options
| author | David Aspinall | 2015-03-13 14:47:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2015-03-13 14:47:08 +0000 |
| commit | 0a9060a2654c5b18518e25c4d2a3165c75533781 (patch) | |
| tree | 5403054696dc5732f418d3f882e290cbba5f6552 /isar/Example.thy | |
| parent | 625306144bbb565fccf6e4be61433e4fe7fc1b6d (diff) | |
Summary: Fix for bug #489 (make p-electric-terminator-enable appear as minor mode)
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions