diff options
| author | David Aspinall | 2009-09-06 15:38:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 15:38:57 +0000 |
| commit | cef992060b8b78e85c8aaa79278bd443d8403508 (patch) | |
| tree | 760e1ce2817be3805fb928a7addba63aae117fa7 /generic/proof-script.el | |
| parent | b30fa09e2c710acca96970f306b09a5ddb65cabe (diff) | |
pg-xml-parse-buffer: generalise to take region arguments.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions