diff options
| author | Pierre Courtieu | 2006-09-29 13:23:56 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-29 13:23:56 +0000 |
| commit | 429ffd70b1758c8a68c90fba0a8ffc4025faccec (patch) | |
| tree | 517a293da11ec292f23521907a5aec1fca43af3a /isa | |
| parent | 967d89fb4807e6a24599e5cae2c2827209fde7b6 (diff) | |
Simplified prompt regexp for coq, preparing new prompt delimiters
<prompt> and </prompt>.
Diffstat (limited to 'isa')
0 files changed, 0 insertions, 0 deletions