diff options
| author | David Aspinall | 2008-01-29 09:21:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 09:21:23 +0000 |
| commit | 4d36a083c01a7f4459c5e041e040f0c065a0ee56 (patch) | |
| tree | 8d5cca900e2c5d190a67dacf3d2117673a5113cb /lib | |
| parent | d13b4f25462655b79ef4196cec23f7ed89eb22ef (diff) | |
Experiment with enabling this for XEmacs.
Add proof-token-name-alist to allow dynamic changing of tables.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions