diff options
| author | David Aspinall | 2008-07-10 19:54:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-10 19:54:05 +0000 |
| commit | aa755209fb3e6cb428a8c6443cc7f54ac0944b8f (patch) | |
| tree | 09b57c92fda8fcab7451a01eb4e9db849a0433eb /isar/Example.thy | |
| parent | 45b81a6bcc5369b3a7dbda0d6e423b8d9016f6fb (diff) | |
Add hook for hack-local-variables-hook to give warning about chosen logic change. Also logic menu tooltips.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions