diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 15:52:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 15:52:08 +0000 |
| commit | ac54baff3a890d738516e164a0bfc2191dbe4cde (patch) | |
| tree | 1f6567e8e541b5370df0f1c467a2c94d0ec579b3 /lib/proof-compat.el | |
| parent | 0bb355a0ed7db7130758a5e9685ee61ede255c2a (diff) | |
span-make-modifying-removing-span: add utility
span-make-self-removing-span: rename from span-add-self-removing-span
Diffstat (limited to 'lib/proof-compat.el')
0 files changed, 0 insertions, 0 deletions