diff options
| author | David Aspinall | 2009-09-05 13:18:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-05 13:18:14 +0000 |
| commit | 41ac69352f5c7325acaa4e56859f9c88a37e832e (patch) | |
| tree | 840c7dda38eb5763853b9222d31638a9a5cc8f31 /isar/Example-Tokens.thy | |
| parent | c50c8e3075f9ed2306265b8b13e38f374b9cf404 (diff) | |
pg-protected-undo: Use key remapping instead of hacking function values
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions