diff options
| author | Pierre Courtieu | 2003-02-06 00:07:14 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2003-02-06 00:07:14 +0000 |
| commit | 7ba3e9f222495aa37c4fca8ab6146941d798ee51 (patch) | |
| tree | 795b6db5cafa71043bc40802326ec325bb965113 /html/feedback.php | |
| parent | 98d56d7e2e01371166b487d4b1a0faeff314f23f (diff) | |
Slight modification to proof-script-command-end-regexp in coq.el, to
allow command at the end of the buffer.
Diffstat (limited to 'html/feedback.php')
0 files changed, 0 insertions, 0 deletions