diff options
author | 2009-12-01 09:59:17 +0000 | |
---|---|---|
committer | 2009-12-01 09:59:17 +0000 | |
commit | 1bea93ee1ac9157ecd3e8ff9a0b54c71b03590bb (patch) | |
tree | 661a09549aebe86d708598864217c1506cb9a1f3 /TAGS | |
parent | b768c1a36e66bc1124bf100bc58ec006fb77ea7e (diff) |
isar-ids-to-regexp: regexp-opt with 'words arg (non-shy matching inside
\< \>) appears to work on Emacs 22, hopefully repairing
http://proofgeneral.inf.ed.ac.uk/trac/ticket/300.
Also replace proof-splice-separator -> mapconcat builtin.
Diffstat (limited to 'TAGS')
0 files changed, 0 insertions, 0 deletions