diff options
author | 2011-12-16 15:09:04 +0000 | |
---|---|---|
committer | 2011-12-16 15:09:04 +0000 | |
commit | 9a09cadf8353ae9b788891363394f4937fcbf278 (patch) | |
tree | 72b684795ed6758b02e08b2e50fbae85381f0d93 /bin | |
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 'bin')
0 files changed, 0 insertions, 0 deletions