diff options
| author | David Aspinall | 2000-06-15 12:50:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-15 12:50:39 +0000 |
| commit | be15e72fb2296380065e567b00d1ed8867ac5336 (patch) | |
| tree | 9b33fe871ddf87e80d93af599ccea6bc1dbe09f8 /isa/Example.ML | |
| parent | 080c69ac22922eb26ce66a90bfdec4495a648d13 (diff) | |
Improved some docstrings.
Simplified face configuration by using auxiliary macro.
Now also works for gtk-xemacs.
Experimented with removing spurious face alias constants.
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions