diff options
| author | David Aspinall | 2009-05-26 08:53:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-05-26 08:53:35 +0000 |
| commit | 276dcd979160b650a0e59a49a64cec48628da82e (patch) | |
| tree | 26016a61e1d1e87975bd9c27c9b2ace88a388618 /isar/Example.thy | |
| parent | 55bd3b09d206be741bcaaa8585b5904d129de8b2 (diff) | |
Revive sendback behaviour (using button1)
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions