diff options
| author | David Aspinall | 2009-09-06 20:41:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 20:41:47 +0000 |
| commit | ec0258dc7cd8d2a8b8d30ea0398386f2000e35f4 (patch) | |
| tree | 5ca142015918c0759a69b2fe834a136779c59a02 /plastic | |
| parent | accc3c19e430b9070fd445b1d2fb618b36c18668 (diff) | |
proof-buffer-syntactic-context-emulate: use caching syntax-ppss
instead of parse-partial-sexp
Diffstat (limited to 'plastic')
0 files changed, 0 insertions, 0 deletions