diff options
| author | Makarius Wenzel | 2007-05-08 15:07:18 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2007-05-08 15:07:18 +0000 |
| commit | 37ce3dc6175e460b9d92694989c7c987bc7eee42 (patch) | |
| tree | fa0ec72452f38dcd54ab76a5ab77515238971aa2 /pgshell/pgshell.el | |
| parent | d0c6365a7cbc9ec76472ce49cdda850b282834fb (diff) | |
x-symbol-isabelle-font-lock-regexp: demand subsequent non-space character;
Diffstat (limited to 'pgshell/pgshell.el')
0 files changed, 0 insertions, 0 deletions