diff options
| author | David Aspinall | 2009-12-01 09:59:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-12-01 09:59:17 +0000 |
| commit | 1bea93ee1ac9157ecd3e8ff9a0b54c71b03590bb (patch) | |
| tree | 661a09549aebe86d708598864217c1506cb9a1f3 /generic | |
| 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 'generic')
0 files changed, 0 insertions, 0 deletions