diff options
| author | David Aspinall | 2009-10-03 16:31:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-10-03 16:31:30 +0000 |
| commit | 6818e58fece6dd2040fa32ff6fda7bf77d35c0d4 (patch) | |
| tree | 4d2155e9783e3af55cd00a95525e6cf40ecaab40 /generic/pg-user.el | |
| parent | 8e38eaf42d3dd22db8d13d9d1eb2c783e6bb789c (diff) | |
proof-script-generic-parse-cmdstart: set case-fold-search
proof-inside-string: added
Diffstat (limited to 'generic/pg-user.el')
0 files changed, 0 insertions, 0 deletions