diff options
| author | David Aspinall | 2008-01-17 13:03:24 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-17 13:03:24 +0000 |
| commit | 5763eb8f7874589a77fd079b7d196fd515930c4e (patch) | |
| tree | 5721594a525003d098ea7c50d89769f84143b5fd /hol98/example.sml | |
| parent | a893053a2949e94d54eddb53aa31b61fb31b3679 (diff) | |
Use featurep test for XEmacs. Set proof-shell-indentifier-under-mouse-cmd.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions