aboutsummaryrefslogtreecommitdiff
path: root/isa/example.ML
diff options
context:
space:
mode:
authorHealfdene Goguen1998-06-03 18:03:10 +0000
committerHealfdene Goguen1998-06-03 18:03:10 +0000
commite0d20929d314f6a94897e4974537a16c02d8f3bc (patch)
tree09a573fb2cbc32b30876caf8cd71fa1feb6ff9fa /isa/example.ML
parentcc0f80562346189d6bf8e98590f09474f74ba31e (diff)
Added '?'s before single characters in define-keys for emacs19, at
Pascal Brisset's suggestion.
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions