diff options
| author | Makarius Wenzel | 2005-09-01 14:18:08 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-01 14:18:08 +0000 |
| commit | 677cd9da3adce2be73e8a6a02b414ffcff54d003 (patch) | |
| tree | b5fe58e697c5c71d50261bc24520a8dc01fbc00d /FAQ | |
| parent | f1328797b3efbc1163e57ed02528fbf209089bc6 (diff) | |
moved pg-special-char-regexp to proof-config.el;
added pg-remove-specials-in-string;
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions