diff options
| author | Pierre Courtieu | 2003-02-06 00:16:29 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2003-02-06 00:16:29 +0000 |
| commit | af8c12edab11c17df9e1913b8190c401f8e084d6 (patch) | |
| tree | e71d5e25b937e994f1679b2fa130f7d2a9364d99 /html/feedback.php | |
| parent | 7ba3e9f222495aa37c4fca8ab6146941d798ee51 (diff) | |
little change to proof-script-command-end-regexp, again, to deal with
coq-v6.2. In the next version we will remove support for coq < 7.0.
Diffstat (limited to 'html/feedback.php')
0 files changed, 0 insertions, 0 deletions