diff options
| author | David Aspinall | 2002-06-19 17:27:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-19 17:27:19 +0000 |
| commit | 73fdbe811271f196a94c6c0181776c23f9215e53 (patch) | |
| tree | 00ba070bbdde8b523f0d8d97a1a2f40a79418075 /isa/Example.thy | |
| parent | c203092f8fc99f606aaa1d9119fb93ab01de8ce3 (diff) | |
Match FSF C-button3 binding with XEmacs one
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions