diff options
| author | Pierre Courtieu | 2011-12-16 15:09:04 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2011-12-16 15:09:04 +0000 |
| commit | 9a09cadf8353ae9b788891363394f4937fcbf278 (patch) | |
| tree | 72b684795ed6758b02e08b2e50fbae85381f0d93 /pgshell/example.pgsh | |
| parent | 4f14dc14a32e6bcf0c939989109920d6a3d12815 (diff) | |
Adapting coq syntax recognition to the future v8.4 behavior of bullets
(stand-alone commands), which is different of the experiments made
until now in coq/trunk.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions