diff options
| author | David Aspinall | 2006-10-27 17:33:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-10-27 17:33:04 +0000 |
| commit | 1a902e231b83c00399242cd61838ba0c5f6770de (patch) | |
| tree | 745516481959f1384c5487a0e8a7f3e0d4f88cfd /isa/Example.thy | |
| parent | 40a7b597d4ac26214bd50bf1b0dc19391fd7f1ad (diff) | |
Rationalise testing for different values of window-system, to/and support more Emacs ports easily
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions