diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 08:18:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 08:18:59 +0000 |
commit | 44ff04eef9a3c1c9e499eb9f1c98db0765cdabb4 (patch) | |
tree | 83dfbd6d903987bcec0f3a1753ab14dd15855020 /generic/proof-utils.el | |
parent | 5cd9ba766ecda008b9f6fdce89d1898579497b26 (diff) |
Revert 10.51. proof-script-command-end-regexp: non-letters after
periods are used in some notations (e.g. SSReflect). See Trac #296.
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions